Изменения
→Свойства языков
Пример.
Пусть <tex>p_X</tex> {{---}} разрешитель некоторого языка
p(<tex>p_X</tex>) '''return''' <tex>p_X</tex>('hello')
{{Определение
|definition=Свойство <tex> A </tex> называется '''разрешимым''' (англ. ''recursive''), если <tex>L(A) </tex> является [[Разрешимые_(рекурсивные)_языки|разрешимым]].
