эмм
он ЯП ибо он полный по Тьюрингу
По Тьюрингу вроде определяются языки программирования общего пользования. А технически языком программирования может называться любой набор "функций", которые можно вызывать друг за другом, создавая тем самым сценарий действий. Думаю, что есть некоторый термин, который обозначает, когда набор символом становится языком. Чёрт, я знаю, кого позвать по этому поводу. У меня есть подруга - опытный лингвист. Она не программист, но мы с ней очень круто разговариваем про языки программирования. Потому что самые популярные из языков программирования так или иначе соответствуют некоторым законам лингвистики))