Изменения

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

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

71 байт добавлено, 11:57, 13 декабря 2014

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

Рассмотрим вспомогательную программу:

<tex> U(i, x) </tex> {{---}} универсальная функция

<tex>g_{i,x}(y):</tex>

'''if''' U(i, x) == 1 //если i на входе x выдает 1

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

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