Рекурсивно перечисляемый язык - Википедия - Recursively enumerable language

В математика, логика и Информатика, а формальный язык называется рекурсивно перечислимый (также узнаваемый, частично разрешимый, полуразрешимый, Тьюринг-приемлемый или же Узнаваемый по Тьюрингу) если это рекурсивно перечислимое подмножество в набор всех возможных слов над алфавит языка, т.е. если существует Машина Тьюринга который перечислит все допустимые строки языка.

Рекурсивно перечисляемые языки известны как тип 0 языков в Иерархия Хомского формальных языков. Все обычный, контекстно-свободный, контекстно-зависимый и рекурсивный языки рекурсивно перечислимы.

Класс всех рекурсивно перечислимых языков называется RE.

Определения

Есть три эквивалентных определения рекурсивно перечислимого языка:

  1. Рекурсивно перечислимый язык - это рекурсивно перечислимый подмножество в набор всех возможных слов над алфавит из язык.
  2. Рекурсивно перечислимый язык - это формальный язык, для которого существует Машина Тьюринга (или другой вычислимая функция ), который перечислит все допустимые строки языка. Обратите внимание, что если язык бесконечный, предоставленный алгоритм перечисления может быть выбран так, чтобы он избегал повторений, поскольку мы можем проверить, создана ли строка для числа п "уже" произведено для числа, которое меньше, чем п. Если он уже создан, используйте вывод для ввода п + 1 вместо этого (рекурсивно), но снова проверьте, является ли он «новым».
  3. Рекурсивно перечислимый язык - это формальный язык, для которого существует машина Тьюринга (или другая вычислимая функция), которая останавливается и принимает при представлении любого нить на языке в качестве ввода, но может либо останавливаться и отклоняться, либо зацикливаться навсегда, если представлена ​​строка не на языке. Сравните это с рекурсивные языки, которые требуют остановки машины Тьюринга во всех случаях.

Все обычный, контекстно-свободный, контекстно-зависимый и рекурсивный языки рекурсивно перечислимы.

Теорема Поста показывает, что REвместе с его дополнять основной, соответствуют первому уровню арифметическая иерархия.

Пример

Набор остановка машин Тьюринга рекурсивно перечислим, но не рекурсивен. В самом деле, можно запустить машину Тьюринга и принять, если машина остановится, следовательно, она рекурсивно перечислима. С другой стороны, проблема неразрешима.

Некоторые другие рекурсивно перечисляемые языки, которые не являются рекурсивными, включают:

Свойства закрытия

Рекурсивно перечисляемые языки (REL) являются закрыто при следующих операциях. То есть, если L и п являются двумя рекурсивно перечисляемыми языками, то следующие языки также рекурсивно перечислимы:

Рекурсивно перечисляемые языки не закрываются установить разницу или дополнение. Установленная разница рекурсивно перечислим, если рекурсивно. Если рекурсивно перечислимо, то дополнение к рекурсивно перечислимо тогда и только тогда, когда также рекурсивен.

Рекомендации

  • Сипсер, М. (1996), Введение в теорию вычислений, PWS Publishing Co.
  • Козен, округ Колумбия (1997), Автоматы и вычислимость, Springer.

внешняя ссылка