Изменения
Нет описания правки
# Шень, задание 15
# Шень, задание 16
# Шень, задание 23
# Шень, задание 24, разрешимым?
# Шень, задание 24, перечислимым?
# Шень, задание 25
# Шень, задание 26
# Используя теорему рекурсии, докажите, что язык программ, которые останавливаются на пустом вводе, является неразрешимым. Является ли этот язык перечислимым? Как по-другому можно доказать неразрешимость этого языка?
# Используя теорему рекурсии, докажите, что язык программ, которые не останавливаются на пустом вводе, является неразрешимым. Является ли этот язык перечислимым? Как по-другому можно доказать неразрешимость этого языка?
# Используя теорему рекурсии, докажите, что язык программ, которые допускают бесконечное число слов, является неразрешимым. Как по-другому можно доказать неразрешимость этого языка?
</wikitex>
