Опубликован: 09.07.2007 | Уровень: профессионал | Доступ: платный | ВУЗ: Московский государственный университет имени М.В.Ломоносова
Лекция 4:

Основные свойства автоматных языков

< Лекция 3 || Лекция 4: 1234 || Лекция 5 >
Аннотация: В данной лекции доказываются свойства замкнутости класса всех автоматных языков относительно итерации, конкатенации, объединения, дополнения и пересечения, доказывается так называемая лемма о разрастании, которая во многих случаях позволяет установить неавтоматность формального языка. Приведены практические примеры и предоставлены упражнения для самостоятельного решения

Для практического применения теории конечных автоматов нужны средства, позволяющие выяснять, является ли некоторый формальный язык автоматным. Для получения положительного ответа на такой вопрос могут пригодиться достаточные условия автоматности, для отрицательного ответа - необходимые условия автоматности. В этой лекции рассматриваются наиболее часто используемые условия, касающиеся автоматности формального языка.

В первых двух разделах этой лекции доказываются свойства замкнутости класса всех автоматных языков (относительно итерации, конкатенации, объединения, дополнения, пересечения и т. д.). Эти свойства можно использовать как достаточные условия автоматности. Например, если нужно выяснить, является ли язык L автоматным, и удается представить L в виде L_1 \cap L_2, где языки L1 и L2 автоматные, то и язык L обязательно является автоматным.

В последних двух разделах этой лекции доказывается так называемая лемма о разрастании (в англоязычной литературе pumping lemma), которая во многих случаях позволяет установить неавтоматность формального языка. К сожалению, эта лемма помогает не всегда, так как дает всего лишь необходимое условие, а не критерий автоматности.

3.1. Свойства замкнутости класса автоматных языков

Теорема 3.1.1. Класс автоматных языков замкнут относительно итерации, конкатенации и объединения.

Доказательство. Без ограничения общности можно предположить, что каждый из исходных языков задан конечным автоматом с одним начальным и одним заключительным состоянием. Тогда во всех трех случаях результирующий автомат получается из исходных путем добавления нескольких \varepsilon -переходов и состояний и назначения новых начальных и заключительных состояний.

Пример 3.1.2. Пусть \Sigma = \{ a , b , c \}. Рассмотрим конечный автомат

M_1 = \langle \{ 1 , 2 , 3 \}, \Sigma , \Delta_1 ,
 \{ 1 \} , \{ 2 \} \rangle ,
где
\Delta_1 = \{
\langle 1 , a , 2 \rangle ,\
\langle 2 , b , 3 \rangle ,\
\langle 3 , c , 1 \rangle
\} .
\objectwidth={5mm} \objectheight={5mm} \let\objectstyle=\scriptstyle
\xymatrix {
  *=[o][F-]{1}
 \ar @`{+/l16mm/} [] ^{}
 \ar  "1,2"  ^{a}
& *=[o][F=]{2}
 \ar  "2,2"  ^{b}
\\
  %
& *=[o][F-]{3}
 \ar  "1,1"  ^{c}
}
Тогда язык L(M1)* распознается конечным автоматом M_2 = \langle \{ 1 , 2 , 3 , 4 \} , \Sigma ,
\Delta_1 \cup \{
\langle 4 , \varepsilon , 1 \rangle ,\
\langle 2 , \varepsilon , 4 \rangle
\} ,
\{ 4 \} , \{ 4 \} \rangle.
\objectwidth={5mm} \objectheight={5mm} \let\objectstyle=\scriptstyle
\xymatrix {
  *=[o][F=]{4}
 \ar @`{+/l16mm/} [] ^{}
 \ar  "2,1"  _{\varepsilon}
& 
\\
  *=[o][F-]{1}
 \ar  "2,2"  ^{a}
& *=[o][F-]{2}
 \ar  "3,2"  ^{b}
 \ar  "1,1"  _{\varepsilon}
\\
  %
& *=[o][F-]{3}
 \ar  "2,1"  ^{c}
}

Пример 3.1.3. Пусть \Sigma \peq \{ a , b , c \}. Рассмотрим конечный автомат M1 из примера 3.1.2 и конечный автомат

M_2 = \langle \{ 4 , 5 \} ,
 \Sigma
 , \Delta_2 ,
\{ 4 \} , \{ 5 \} \rangle ,
где
\Delta_2 = \{
\langle 4 , c , 4 \rangle ,\
\langle 4 , a , 5 \rangle ,\
\langle 5 , c , 5 \rangle
\} .
\objectwidth={5mm} \objectheight={5mm} \let\objectstyle=\scriptstyle
\xymatrix {
  *=[o][F-]{4}
 \ar @`{+/l16mm/} [] ^{}
 \rloop{0,1} ^{c}
 \ar  "1,2"  ^{a}
& *=[o][F=]{5}
 \rloop{0,1} ^{c}
}
Тогда язык L ( M_1 ) \cdot L ( M_2 ) распознается конечным автоматом
M_3 \peq \langle \{ 1 , 2 , 3 , 4 , 5 \} ,
 \Sigma
 , \Delta_1 {{}\cup{}} \Delta_2 {{}\cup{}}
 \{ \lp 2 , \emptyword , 4 \rp \} ,
\{ 1 \} , \{ 5 \} \rangle ,
\objectwidth={5mm} \objectheight={5mm} \let\objectstyle=\scriptstyle
\xymatrix {
  *=[o][F-]{1}
 \ar @`{+/l16mm/} [] ^{}
 \ar  "1,2"  ^{a}
& *=[o][F-]{2}
 \ar  "2,2"  ^{b}
 \ar  "1,3"  ^{\varepsilon}
& *=[o][F-]{4}
 \rloop{0,1} ^{c}
 \ar  "1,4"  ^{a}
& *=[o][F=]{5}
 \rloop{0,1} ^{c}
\\
  %
& *=[o][F-]{3}
 \ar  "1,1"  ^{c}
& 
& 
}
а язык L ( M_1 ) \cup L ( M_2 ) распознается конечным автоматом
M_4 = \langle \{ 1 , 2 , 3 , 4 , 5 \} ,
 \Sigma
 , \Delta_1 \cup \Delta_2 ,
 \{ 1 , 4 \ }, \{ 2 , 5 }\ \rangle .
\objectwidth={5mm} \objectheight={5mm} \let\objectstyle=\scriptstyle
\xymatrix {
  *=[o][F-]{4}
 \ar @`{+/l16mm/} [] ^{}
 \rloop{0,1} ^{c}
 \ar  "1,2"  ^{a}
& *=[o][F=]{5}
 \rloop{0,1} ^{c}
\\
  *=[o][F-]{1}
 \ar @`{+/l16mm/} [] ^{}
 \ar  "2,2"  ^{a}
& *=[o][F=]{2}
 \ar  "3,2"  ^{b}
\\
  %
& *=[o][F-]{3}
 \ar  "2,1"  ^{c}
}

Упражнение 3.1.4. Существует ли такой автоматный язык L, что язык LR не является автоматным?

Упражнение 3.1.5. Существует ли такой автоматный язык L \subseteq \Sigma ^*, что язык Pref(L) не является автоматным?

Упражнение 3.1.6. Существует ли такой автоматный язык L \subseteq \Sigma ^*, что язык Suf(L) не является автоматным?

Упражнение 3.1.7. Существует ли такой автоматный язык L \subseteq \Sigma ^*, что язык Subw(L) не является автоматным?

Упражнение 3.1.8. Существует ли такой автоматный язык L \subseteq \Sigma ^*, что язык Subseq(L) не является автоматным?

Упражнение 3.1.9. Существует ли такой автоматный язык L, что язык

\mathrm{Cycle} ( L ) \rightleftharpoons
 \{ x y \mid y x \in L
 \; \text{для некоторых слов} \; x \; \text{и} \; y \}
не является автоматным?

Упражнение 3.1.10. Существует ли такой автоматный язык L, что язык

\{ w \mid w \in L \text{ или } w^R \in L \}
не является автоматным?

Упражнение 3.1.11. Найти праволинейную грамматику, порождающую язык

\{ w \in \{a,b\}^* \mid | w |_a \ \vdots \ 2 \} \cdot
 \{ w \in \{c,d\}^* \mid | w |_c \ \vdots \ 2 \} .

Упражнение 3.1.12. Найти праволинейную грамматику, порождающую язык L*, если язык L порождается грамматикой

\begin{align*}
S \; & {\to} \; a T, \\
T \; & {\to} \; b S, \\
T \; & {\to} \; a R, \\
R \; & {\to} \; c T, \\
R \; & {\to} \; \varepsilon .
\end{align*}

< Лекция 3 || Лекция 4: 1234 || Лекция 5 >
Юлия Маковецкая
Юлия Маковецкая

Упражнение 2.1.25

Евгения Гунченко
Евгения Гунченко

Сдавала тест экстерном, результат получен 74 после принятия данного результата и соответственно оплаты курса, будет ли выдано удостоверение о повышении квалификации?

Юрий Фролов
Юрий Фролов
Украина
Руслан Мухамедьяров
Руслан Мухамедьяров
Россия, Казань, КФУ