Изменения

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

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

4 байта добавлено, 20:44, 17 декабря 2014

→‎Свойства языков

}}

Псевдокод для <tex>A = \mathrm {RE}: </tex>

<tex>p_A(p_X)</tex> <font color="green"> // <tex>p_X</tex> {{---}} ~~разрешитель~~ перечислитель некоторого языка.</font>

'''return''' ''true''

Анонимный участник

Источник — «http://neerc.ifmo.ru/wiki/index.php?title=Служебная:Сравнение_версий/42507»