Изменения

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

Свойства перечислимых языков. Теорема Успенского-Райса

134 байта добавлено, 17:12, 12 декабря 2014
Нет описания правки
</tex> {{---}} программа, разрешающая универсальное множество. Получили противоречие.
}}
 
[[Категория: Теория вычислимости]]
[[Категория: Теория формальных языков]]
Анонимный участник
Источник — «http://neerc.ifmo.ru/wiki/index.php?title=Служебная:Сравнение_версий/42063»

Навигация