Если программа выводит все слова своего языка, то такой язык называется ...

Если программа всегда завершается при входных словах, не являющихся словами ее языка, то такой язык называется ...

Если программа не всегда завершается при входных словах, не являющихся словами ее языка, то такой язык называется ...

Язык, для которого существует программа, позволяющая вывести в произвольном порядке все слова этого языка ...

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

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

Программа, идентифицирующая все слова конечного языка ...

Программа, идентифицирующая все слова бесконечного языка ...

Как "ведет" себя программа для любого вычислимого языка?

Как "ведет" себя программа для любого полувычислимого языка?

Как "ведет" себя программа для любого перечислимого языка?