689
правок
Изменения
→Разрешимые и перечислимые языки
*[[Замкнутость разрешимых и перечислимых языков относительно теоретико-множественных и алгебраических операций]]
*[[Вычислимые функции]]
*[[Вычислимые числа]]
*[[Диагональный метод]]
*[[Свойства перечислимых языков. Теорема Успенского-Райса]]
