Изменения

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

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

104 байта добавлено, 20:31, 17 декабря 2014
→‎Свойства языков
}}
Псевдокод для <tex>A = \mathrm {RE}: </tex>
<tex>p_A(p_X)</tex> <font = green> // <tex>p_X</tex> {{---}} разрешитель некоторого языка.</font>
'''return''' ''true''
Анонимный участник
Источник — «http://neerc.ifmo.ru/wiki/index.php?title=Служебная:Сравнение_версий/42502»

Навигация