Изменения

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

123 байта убрано, 22:48, 7 декабря 2012

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

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

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

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

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

*[[Главные нумерации]]

1679

правок