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