Изменения

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

46 байт добавлено, 20:56, 21 января 2014

→‎Разрешимые и перечислимые языки

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

*[[Вычислимые числа]]

*[[~~Диагональный метод~~Универсальная функция|Универсальная функция и главные нумерации]]

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

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

*[[Неотделимые множества]]

*[[Иммунные и простые множества]]

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