Изменения

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

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

49 байт добавлено, 21:00, 17 декабря 2014

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

'''Пример'''.

Псевдокод перечислителя для ~~первого~~ языка свойства языка из первого примера :

<tex>p_A(p_X)</tex>

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

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

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