748
правок
Изменения
→Разрешимые и перечислимые языки
=== Разрешимые и перечислимые языки ===
# [[Разрешимые (рекурсивные) языки]]
# [[Перечислимые языки]] 0.5 ## добавить см также# [[Замкнутость разрешимых и перечислимых языков относительно теоретико-множественных и алгебраических операций]] 0.5## поправить тех# [[Вычислимые функции]]0.5## добавить см также# [[Вычислимые числа]] 0.5## поправить тех
# [[Универсальная функция]]
# [[Свойства перечислимых языков. Теорема Успенского-Райса]] 0.5## поправить тех и псевдокод
# [[Неотделимые множества]]
## поправить тех
## добавить см также
# [[Иммунные и простые множества]]
# [[Теорема о рекурсии]] 0.5## поправить псевдокод## поправить тех## сделать см также на проверяемые конспекты# [[Квайны]]0.5## поправить псевдокод## добавить см также# [[Busy beaver]]0.5## поправить псевдокод
# [[Колмогоровская сложность]]
## поправить всевдокод
=== Вычислительные формализмы ===
