Изменения

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

Теория формальных языков

Нет изменений в размере, 05:08, 29 ноября 2010

→‎Теория Вычислимости

*[[Лемма Огдена]]

*[[Существенно неоднозначные языки]]

== Теория ~~Вычислимости~~ вычислимости ==

*[[Разрешимые (рекурсивные) языки]]

*[[Перечислимые языки]]

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

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