Изменения

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

79 байт добавлено, 10:58, 15 декабря 2014

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

}}

Пример.

Псевдокод для первого свойства из примера. Пусть <tex>p_X</tex> {{---}} разрешитель некоторого языка

p(<tex>p_X</tex>)

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

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