Изменения

Перейти к: навигация, поиск
Примеры
=== Примеры ===
'''Примеры свойств''':
* # Язык должен содержать слово ''hello''.* # Язык должен содержать хотя бы одно простое число.
Псевдокод для разрешителя <tex>L(A)</tex>, где <tex>A = \mathrm {RE}: </tex>
'''return''' ''true''
Псевдокод перечислителя для программы в общем случае, то есть для проверки того, что язык удовлетворяет свойству : <tex>p_A(p_X)</tex> <font color="green"> // <tex>p_A</tex> {{---}} полуразрешитель, так как <tex>X</tex> {{---}} перечислимый язык в общем случае</font> '''return''' <tex>L(p_X) \in A</tex> Псевдокод полуразрешителя для языка свойства языка из первого примера :
<tex>p_A(p_X)</tex>
'''return''' <tex>p_X</tex>('hello')
 
Псевдокод для программы в общем случае, то есть для проверки того, что язык удовлетворяет свойству :
<tex>p_A(p_X)</tex>
'''return''' <tex>L(p_X) \in A</tex>
== Теорема Успенского-Райса ==

Навигация