Изменения
→Свойства языков
}}
Псевдокод для <tex>A = \mathrm {RE}: </tex>
<tex>p_A(p_X)</tex> <font color= "green"> // <tex>p_X</tex> {{---}} разрешитель некоторого языка.</font>
'''return''' ''true''
'''Пример'''.
Псевдокод для первого свойства из примера. Пусть <tex>p_X</tex> {{---}} разрешитель некоторого языка
p(<tex>p_X</tex>)
'''return''' <tex>p_X</tex>('hello')
