Изменения

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

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

47 байт добавлено, 23:05, 12 декабря 2014
→‎Теорема Успенского-Райса
Рассмотрим вспомогательную программу:
<tex>g_{i,x}(y):</tex>
'''if''' U(i, x) == 1 //если i на входе x выдает 1
'''return''' <tex>p_X(y)</tex>
'''else'''
Анонимный участник
Источник — «http://neerc.ifmo.ru/wiki/index.php?title=Служебная:Сравнение_версий/42107»

Навигация