Изменения

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

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

7 байт добавлено, 21:52, 12 декабря 2014
→‎Определения
== Определения Свойства языков ==
Рассмотрим множество всех [[Перечислимые_языки|перечислимых]] языков <tex> \mathrm {RE} </tex>.
Анонимный участник
Источник — «http://neerc.ifmo.ru/wiki/index.php?title=Служебная:Сравнение_версий/42094»

Навигация