Изменения

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

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

25 байт добавлено, 22:36, 12 декабря 2014

Нет описания правки

0, & U(i, x) \neq 1; \\

\end{cases}

</tex> {{---}} программа, разрешающая [[Множества | универсальное множество]]. Получили противоречие.

}}

Анонимный участник

Источник — «http://neerc.ifmo.ru/wiki/index.php?title=Служебная:Сравнение_версий/42099»