Изменения

Перейти к: навигация, поиск

Свойства перечислимых языков. Теорема Успенского-Райса

25 байт добавлено, 18:16, 12 декабря 2014
→‎Определения
}}
{{Определение
|definition=Свойство <tex> A </tex> называется '''разрешимым''' (англ. ''recursive'', если <tex>L(A) </tex> является [[Разрешимые_(рекурсивные)_языки|разрешимым]].
}}
Анонимный участник
Источник — «http://neerc.ifmo.ru/wiki/index.php?title=Служебная:Сравнение_версий/42082»

Навигация