Изменения

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

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

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

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

}}

Пример.

Пусть pX <tex>p_X</tex> {{- --}} разрешитель некоторого языка

p(px)

'''return''' px('hello')

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

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