Изменения

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

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

18 байт добавлено, 23:25, 12 декабря 2014
Нет описания правки
}}
Пример.
Пусть pX <tex>p_X</tex> {{- --}} разрешитель некоторого языка
p(px)
'''return''' px('hello')
Анонимный участник
Источник — «http://neerc.ifmo.ru/wiki/index.php?title=Служебная:Сравнение_версий/42116»

Навигация