Изменения

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

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

Нет изменений в размере, 20:26, 17 декабря 2014
Свойства языков
|definition=Свойство называется '''тривиальным''' (англ. ''trivial''), если <tex> A = \varnothing </tex> или <tex> A = \mathrm {RE} </tex>.
}}
Псевдокод для <tex>A = \mathrm {RE} : </tex>:
<tex>p_A(p_X)</tex>
'''return''' ''true''
Анонимный участник

Навигация