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

Перейти к: навигация, поиск

Внимание! Вы не авторизовались на сайте. Ваш IP-адрес будет публично видимым, если вы будете вносить любые правки. Если вы войдёте или создадите учётную запись, правки вместо этого будут связаны с вашим именем пользователя, а также у вас появятся другие преимущества.

Правка может быть отменена. Пожалуйста, просмотрите сравнение версий, чтобы убедиться, что это именно те изменения, которые вас интересуют, и нажмите «Записать страницу», чтобы изменения вступили в силу.
Текущая версия Ваш текст
Строка 1: Строка 1:
 
[[Категория: Теория формальных языков]]
 
[[Категория: Теория формальных языков]]
 
 
Символом <tex> \star </tex> помечены дополнительные темы (возможно, сложные), которые не были подробно рассмотрены (или вообще рассмотрены) в рамках курса.
 
Символом <tex> \star </tex> помечены дополнительные темы (возможно, сложные), которые не были подробно рассмотрены (или вообще рассмотрены) в рамках курса.
 
== Автоматы и регулярные языки ==
 
== Автоматы и регулярные языки ==
Строка 79: Строка 78:
 
*[[Несовпадение класса языков, распознаваемых ДМП автоматами и произвольными МП автоматами]]
 
*[[Несовпадение класса языков, распознаваемых ДМП автоматами и произвольными МП автоматами]]
 
*[[ДМП-автоматы и неоднозначность]]
 
*[[ДМП-автоматы и неоднозначность]]
 +
 +
== Теория вычислимости ==
 +
=== Разрешимые и перечислимые языки ===
 +
*[[Разрешимые (рекурсивные) языки]]
 +
*[[Перечислимые языки]]
 +
*[[Замкнутость разрешимых и перечислимых языков относительно теоретико-множественных и алгебраических операций]]
 +
*[[Вычислимые функции]]
 +
*[[Вычислимые числа]]
 +
*[[Универсальная функция|Универсальная функция и главные нумерации]]
 +
*[[Свойства перечислимых языков. Теорема Успенского-Райса]]
 +
*[[Неотделимые множества]]
 +
*[[Иммунные и простые множества]]
 +
*[[Теорема о рекурсии]]
 +
*[[Квайны]]<tex> ^\star </tex>
 +
*[[Busy beaver]]
 +
*[[Колмогоровская сложность]]<tex> ^\star </tex>
 +
 +
=== Вычислительные формализмы ===
 +
*[[Машина Тьюринга]]
 +
*[[Лямбда-исчисление]]<tex> ^\star </tex>
 +
*[[Рекурсивные функции, представимость в формальной арифметике | Примитивно рекурсивные функции]]<tex> ^\star </tex>
 +
*[[Частично рекурсивные функции]]<tex> ^\star </tex>
 +
*[[Стековые машины, эквивалентность двухстековой машины МТ]]
 +
*[[Счетчиковые машины, эквивалентность двухсчетчиковой машины МТ]]
 +
*[[Линейный клеточный автомат, эквивалентность МТ]]
 +
*[[Возможность порождения формальной грамматикой произвольного перечислимого языка]]
 +
*[[Линейный ограниченный автомат]]
 +
*[[Сверхтьюринговые вычисления (гипервычисления)]]<tex> ^\star </tex>
 +
*[[Тьюринг-полнота]]<tex> ^\star </tex>
 +
 +
=== Примеры неразрешимых задач ===
 +
*[[m-сводимость]]
 +
*[[Примеры неразрешимых задач: проблема соответствий Поста |Проблема соответствий Поста]]
 +
*[[Примеры неразрешимых задач: однозначность грамматики|Однозначность КС-грамматики]]
 +
*[[Неразрешимость задачи об эквивалентности КС-грамматик|Эквивалентность КС-грамматик]]
 +
*[[Неразрешимость задачи о проверке на пустоту пересечения двух КС-грамматик|Пустота пересечения КС-грамматик]]
 +
*[[Примеры неразрешимых задач: задача о замощении|Задача о замощении полимино]]
 +
*[[Примеры неразрешимых задач: задача о выводе в полусистеме Туэ|Задача о выводе в полусистеме Туэ]]
 +
*[[Неразрешимость исчисления предикатов первого порядка]]
 +
*[[Неразрешимость проблемы существования решения диофантова уравнения в целых числах]]
 +
*[[Неразрешимость задачи вывода типов в языке с зависимыми типами]]
 +
*[[Игра «Жизнь»]]<tex>^\star</tex>
 +
*[[Неразрешимость игры Braid]]<tex>^\star</tex>
 +
*[[Теорема Райса-Шапиро]]

Пожалуйста, учтите, что любой ваш вклад в проект «Викиконспекты» может быть отредактирован или удалён другими участниками. Если вы не хотите, чтобы кто-либо изменял ваши тексты, не помещайте их сюда.
Вы также подтверждаете, что являетесь автором вносимых дополнений, или скопировали их из источника, допускающего свободное распространение и изменение своего содержимого (см. Викиконспекты:Авторские права). НЕ РАЗМЕЩАЙТЕ БЕЗ РАЗРЕШЕНИЯ ОХРАНЯЕМЫЕ АВТОРСКИМ ПРАВОМ МАТЕРИАЛЫ!

Чтобы изменить эту страницу, пожалуйста, ответьте на приведённый ниже вопрос (подробнее):

Отменить | Справка по редактированию (в новом окне)