он считается, у него грамматика есть

даже thue считается

тогда я написал программу, которая пишет код на бреинфаке. Всё, я познал программирование, моя программа пишет программы!

а вот какой-нибудь OISC уже, наверное, нет

вот у меня-то был как раз такой недопрограммируемый калькулятор без контрол флоу, на котором итерационным методом шоб считать надо ДОВИТЬ на кнопу для каждой итерации и смотреть как оно там сходится

Не ну вообще, раз мы считаем эзотерические яп тоже за яп, то давайте следовать определению

окей, и по этому определению что именно является/не является яп из приведенных примеров?

чтобы понимать, где согласие не было достигнуто 🙂

if У этого есть определённого лексические, синтаксические и семантические правила? &&
Это придумали люди? &&
Это придумали для создания программ?
then JustProgrammingLanguage
else Nothing

Я о них в первый раз слышу. Но... наверное, всё?

Типа даже полнота по Тьюрингу не является критерием. Тот же эзотерический язык Tree не является полным по тьюрингу, как и тотальные языки программирования

что есть программа?

ну программы полны по тьюрингу, иначе это не программы, а формулы.

HTML по некоторым определениям тоже может быть ЯП, потому что формальный. и если исходник интерпретируется машиной, чтобы создать что-то новое, то это программа

Вики пишет:

Компью́терная програ́мма — 1) комбинация компьютерных инструкций и данных, позволяющая аппаратному обеспечению вычислительной системы выполнять вычисления или функции управления (стандарт ISO/IEC/IEEE 24765:2010)[1]; 2) синтаксическая единица, которая соответствует правилам определённого языка программирования, состоящая из определений и операторов или инструкций, необходимых для определённой функции, задачи или решения проблемы (стандарт ISO/IEC 2382-1:1993)[2].

а вот это точно нет. лучшие ЯП не полны по Тьюрингу

а что тут имеется ввиду под лучшими яп? Тотальные?

да

Ну, понимаю. Я помню даже приводил пример вычисления, которое недоказательно конечно, но при этом всегда заканчивается на единице. (если чисто чётное, то делить на 2, если нечётное, то умножать на 3 и прибавлять 1) На обычном функциональном яп такое можно написать, на тотальном - нет.

наконец-то я нашел эту картинку