Изменения

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

256 байт убрано, 17:58, 24 января 2012

это в диагональном методе

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

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

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

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

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

142

правки