Изменения

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

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

4 байта добавлено, 14:00, 13 декабря 2014
→‎Свойства языков
}}
Псевдокод для <tex> A = \varnothing </tex>
pp_A(Ap_X) '''return''' ''false''L(p_X) \in A
Псевдокод для <tex> A = \mathrm {RE} </tex>.
Анонимный участник
Источник — «http://neerc.ifmo.ru/wiki/index.php?title=Служебная:Сравнение_версий/42140»

Навигация