Изменения

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

1 байт убрано, 20:49, 17 декабря 2014

м

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

}}

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

<tex>p_A(p_X)</tex> <font color="green"> // <tex>p_X</tex> {{---}} перечислитель некоторого языка.</font>

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

3622

правки