Изменения

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

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

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

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

'''return''' ''true''

Псевдокод для программы в общем случае, то есть для проверки того, что язык удовлетворяет свойству.:

<tex>p_A(p_X)</tex>

'''return''' <tex>L(p_X) \in A</tex>

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

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