Изменения

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

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

1 байт добавлено, 07:11, 14 декабря 2011
Нет описания правки
{{Определение
|definition=Язык <tex>\ U = \{\langle p, x \rangle \ |\ p(x) = 1\} </tex> называется '''универсальным'''.
}}
Анонимный участник

Навигация