Изменения
→Свойства языков
{{Определение
|definition=Свойство <tex> A </tex> называется '''разрешимым''' (англ. ''recursive''), если <tex>L(A) </tex> является [[Разрешимые_(рекурсивные)_языки|разрешимым]].
}}
Например, свойство делиться на 2 без остатка, тогда <tex> L(A) </tex> {{---}} это язык четных чисел, а он разрешим.
== Теорема Успенского-Райса ==
