Изменения

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

Нет изменений в размере, 21:08, 17 декабря 2014

→‎Примеры

}}

== Примеры ==

Псевдокод для разрешителя <tex>L(A)</tex>, где <tex>A = \mathrm {RE}: </tex>

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

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

Псевдокод перечислителя для языка свойства языка из первого примера :

'''return''' <tex>p_X</tex>('hello')

~~Псевдокод для разрешителя <tex>L(A)</tex>, где <tex>A = \mathrm {RE}: </tex>~~

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

~~'''return''' ''true''~~

Псевдокод для программы в общем случае, то есть для проверки того, что язык удовлетворяет свойству :

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