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