3622
правки
Изменения
→Примеры
Псевдокод для программы в общем случае, то есть для проверки того, что язык удовлетворяет свойству :
<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> <font color="green"> // <tex>X</tex> {{---}} перечислимый язык в общем случае, поэтому <tex>p_A</tex> {{---}} полуразрешитель (по [[Теорема Райса-Шапиро |теореме Райса-Шапиро]])</font>
'''return''' <tex>p_X</tex>('hello')
