Изменения

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

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

1 байт добавлено, 07:11, 14 декабря 2011
Нет описания правки
{{Определение
|definition=Язык <tex>\ U = \{\langle p, x \rangle \ |\ p(x) = 1\} </tex> называется '''универсальным'''.
}}
Анонимный участник
Источник — «http://neerc.ifmo.ru/wiki/index.php?title=Служебная:Сравнение_версий/14526»

Навигация