Изменения

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

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

23 байта добавлено, 12:48, 14 декабря 2014

→‎Теорема Успенского-Райса

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

\end{cases}

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

}}

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

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