Язык, для которого существует программа, определяющая принадлежность к данному языку каждого слова этого языка и не всегда завершающаяся при других входных словах ...
Язык, для которого существует программа, позволяющая вывести в произвольном порядке все слова этого языка ...
Если программа всегда завершается при входных словах, не являющихся словами ее языка, то такой язык называется ...
Если программа не всегда завершается при входных словах, не являющихся словами ее языка, то такой язык называется ...
Если программа выводит все слова своего языка, то такой язык называется ...
Программа, идентифицирующая все слова конечного языка ...
Программа, идентифицирующая все слова бесконечного языка ...
Для каких языков существуют программы, идентифицирующие все слова этого языка?
Как "ведет" себя программа для любого вычислимого языка?
Как "ведет" себя программа для любого полувычислимого языка?
