Изменения

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

Разрешимые (рекурсивные) языки

9 байт добавлено, 17:24, 12 декабря 2013
→‎Пример неразрешимого множества
{{Определение
|definition=Язык <tex>\ U = \{\langle p, x \rangle \ |\ p(x) = 1\} </tex> называется '''универсальным''' ('''universallanguage''').
}}
Gr1n
333
правки
Источник — «http://neerc.ifmo.ru/wiki/index.php?title=Служебная:Сравнение_версий/34149»

Навигация