Изменения

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

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

2 байта добавлено, 20:35, 17 декабря 2014

→‎Свойства языков

Псевдокод для первого свойства из примера.

p(<tex>p_A(p_X)</tex>)

'''return''' <tex>p_X</tex>('hello')

{{Определение

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

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