Изменения

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

Разрешимые (рекурсивные) языки

1 байт убрано, 11:00, 23 декабря 2011
Нет описания правки
|id=st1
|statement=
Универсальный язык не разрешимнеразрешим.
|proof=
Приведем доказательство от противного. <br/>
Анонимный участник
Источник — «http://neerc.ifmo.ru/wiki/index.php?title=Служебная:Сравнение_версий/15109»

Навигация