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