Изменения

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

Навигация