Изменения

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

256 байт убрано, 05:04, 8 января 2012

Нет описания правки

*[[Вычислимые функции]]

*[[Диагональный метод]]

*[[Невозможность одновременного существования универсальной функции и всюду определенности всех элементов семейства вычислимых функций]]

*[[Характеристика перечислимых множеств через вычислимые функции]]

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

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