Изменения

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

22 байта добавлено, 12:59, 14 декабря 2014

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

Псевдокод для <tex> A = \varnothing </tex>

p_A(p_X)

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

Псевдокод для <tex> A = \mathrm {RE} </tex>.

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

{{Определение

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