Рекурсивный язык

В математической логике и информатике рекурсивный язык — тип формального языка, также называемый разрешимым, или разрешимым по Тьюрингу. Класс всех рекурсивных языков часто обозначается через R, хотя это же обозначение используется для класса RP.

Этот тип языка не определен в иерархии Хомского (Chomsky 1959).

ОпределенияПравить

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

1. Формальный рекурсивный язык — рекурсивное подмножество множества всех возможных слов в алфавите формального языка.
2. Рекурсивный язык — формальный язык, для которого существует машина Тьюринга, которая останавливается на любой входной цепочке и допускает её тогда и только тогда, когда она принадлежит языку. Говорят, что такая машина является решателем и разрешает данный рекурсивный язык.

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

Свойства замкнутостиПравить

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

• замыкание Клини $L^{\ast <!--\; \ast \; -->}$$L^{*}$ ;
• образ $\mathrm{\phi <!--\; \phi \; -->}\left(L\right)$$\varphi \left(L\right)$ , где $\mathrm{\phi <!--\; \phi \; -->}$$\varphi$  — гомоморфизм, такой что $\mathrm{\forall <!--\; \forall \; -->}xx\ne <!--\; \ne \; -->\mathrm{\epsilon <!--\; \epsilon \; -->}\Rightarrow <!--\; \Rightarrow \; -->\mathrm{\phi <!--\; \phi \; -->}\left(x\right)\ne <!--\; \ne \; -->\mathrm{\epsilon <!--\; \epsilon \; -->}$$\forall x~x\neq \varepsilon \Rightarrow \varphi \left(x\right)\neq \varepsilon$ , где $\mathrm{\epsilon <!--\; \epsilon \; -->}$$\varepsilon$  — пустая цепочка;
• конкатенация $L\circ <!--\; \circ \; -->P$$L\circ P$ ;
• объединение $L\cup <!--\; \cup \; -->P$$L\cup P$ ;
• пересечение $L\cap <!--\; \cap \; -->P$$L\cap P$ ;
• дополнение $\stackrel{¯<!--\; ¯\; -->}{L}$${\overline {L}}$ ;
• разность $L\setminus <!--\; \setminus \; -->P$$L\setminus P$ .

Список литературыПравить

• Michael Sipser  (англ.) (рус.. Decidability // Introduction to the Theory of Computation (англ.). — PWS Publishing, 1997. — P. 151—170. — ISBN 0-534-94728-X.
• Chomsky, Noam. On certain formal properties of grammars (англ.) // Information and Control  (англ.) (рус. : journal. — 1959. — Vol. 2, no. 2. — P. 137—167. — doi:10.1016/S0019-9958(59)90362-6.

См. такжеПравить

• Рекурсивно перечислимый язык