Редактирование: Разрешимые (рекурсивные) языки
Версия от 16:53, 2 января 2017; ExileHell (обсуждение | вклад) (→Пример использования теоремы о рекурсии в доказательстве о неразрешимости языка)
Предупреждение. Вы редактируете устаревшую версию данной страницы. После сохранения будут потеряны изменения, сделанные в последующих версиях.
Внимание! Вы не авторизовались на сайте. Ваш IP-адрес будет публично видимым, если вы будете вносить любые правки. Если вы войдёте или создадите учётную запись, правки вместо этого будут связаны с вашим именем пользователя, а также у вас появятся другие преимущества.