Изменения

|definition=Свойство <tex> A </tex> называется '''разрешимым''' (англ. ''recursive''), если <tex>L(A) </tex> является [[Разрешимые_(рекурсивные)_языки|разрешимым]].

}}

== Примеры ==

Псевдокод перечислителя для языка свойства языка из первого примера :