Изменения

Перейти к: навигация, поиск

Обсуждение:Разрешимые (рекурсивные) языки

3 байта добавлено, 01:47, 15 декабря 2011
Нет описания правки
Женя, я не поняла, эту статью ты проверяешь? Если да, отмечай в таблице!
Пока претензии (кроме Жениной) следующие:
* 1) нет источника; * 2) не "вызов зациклится", а "программа зависнет" (в доказательстве неразрешимости); аналогично "программа вернет 1"; * 3) после "но" запятая не ставится;
[[Участник:Berezhkovskaya|Алёна]]
editor
143
правки

Навигация