Московский государственный университет имени М.В.Ломоносова
Опубликован: 09.07.2007 | Доступ: свободный | Студентов: 1999 / 567 | Оценка: 4.56 / 4.26 | Длительность: 20:40:00
ISBN: 978-5-9556-0062-8
Специальности: Математик
Лекция 6:

Регулярные выражения

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

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

Регулярные выражения находят практическое применение во многих компьютерных приложениях, таких как текстовые редакторы и интерпретаторы командной строки. В автоматических генераторах лексических анализаторов принято использовать именно регулярные выражения в качестве формализма, с помощью которого задаются классы однотипных лексем (например, класс идентификаторов, класс десятичных констант). В языках программирования Perl, Python и др. имеется встроенная поддержка регулярных выражений.

В начале лекции даются необходимые определения. Затем в разделе 5.2* приводятся некоторые тождества регулярных выражений, такие как ассоциативность конкатенации, дистрибутивность конкатенации относительно объединения и др. В разделе 5.3 доказывается, что регулярные выражения задают в точности класс автоматных языков. В разделе 5.4* формулируется теорема о классификации автоматных языков по их сложности, измеряемой звездной высотой (необходимой глубиной вложенности итераций при задании данного языка регулярным выражением).

5.1. Определение регулярного выражения

Определение 5.1.1. Регулярное выражение над алфавитом \Sigma определяется рекурсивно следующим образом: 0 является регулярным выражением; 1 является регулярным выражением; если a \in \Sigma, то a является регулярным выражением; если e и f являются регулярными выражениями, то (e \replus f), (e \redot f) и e^* тоже являются регулярными выражениями.

Для экономии скобок будем считать, что операция * связывает сильнее (то есть имеет более высокий приоритет), чем умножение, а умножение связывает сильнее, чем сложение. Вместо e \redot f часто пишут просто e f.

Пример 5.1.2. Пусть \Sigma = \{ a , b \}. Тогда ( ( a \redot b )^* \redot ( 1 \replus a ) ) является регулярным выражением над алфавитом \Sigma.

Определение 5.1.3. Каждое регулярное выражение e над алфавитом \Sigma задает (denotes, represents) некоторый язык над алфавитом \Sigma (обозначение \regval{e} ), определяемое рекурсивно следующим образом:

\begin{align*}
\regval{a} &\bydef \{ a \} ,\mathspace\text{если}\mathspace a \in \Sigma ,\\
\regval{0} &\bydef \varnothing ,\\
\regval{1} &\bydef \{ \varepsilon \} ,\\
\regval{e \replus f} &\bydef \regval{e} \cup \regval{f} ,\\
\regval{e \redot f} &\bydef \regval{e} \cdot \regval{f} ,\\
\regval{e^*} &\bydef \regval{e}^* .
\end{align*}
Заметим, что в правой части последнего выражения символом * обозначена итерация языка (см. определение 1.2.7).

Вместо \regval{e} часто пишут просто e.

Пример 5.1.4. Пусть \Sigma = \{ a , b \}. Согласно определению

\regval{ ( ab )^* \redot ( 1 \replus a ) } \peq
\{ (ab)^n \mid n \geq 0 \} \cup \{ (ab)^n a \mid n \geq 0 \} .

Определение 5.1.5. Язык L называется регулярным если он задается некоторым регулярным выражением.

Определение 5.1.6. Пусть e - регулярное выражение. Тогда e^+ \bydef e^* e.

Упражнение 5.1.7. Упростить регулярное выражение ((a+bc)*)*

Упражнение 5.1.8. Найти праволинейную грамматику для языка ab*a

Упражнение 5.1.9. Найти праволинейную грамматику для языка ((a+b)a)*.

Упражнение 5.1.10. Найти полный детерминированный конечный автомат для языка (a+b)*(aab+abaa+abb)(a+b)*.

Упражнение 5.1.11. Найти полный детерминированный конечный автомат для языка (a+b)*(a(b+1)abb+baa)(a+b)*.

Упражнение 5.1.12. Найти полный детерминированный конечный автомат для языка (b+c)((ab)*c+(ba)*)*.

Упражнение 5.1.13. Найти полный детерминированный конечный автомат для языка (abab)+(aba)*.

Упражнение 5.1.14. Найти полный детерминированный конечный автомат для языка (c+(a+b+c)(b+a(b+c)*a))*(a+b+c).

5.2*. Свойства регулярных выражений

Лемма 5.2.1. Регулярные выражения образуют ассоциативное полукольцо с операциями ( 0 , \replus , 1 , \redot ), то есть для любых регулярных выражений e, f и g выполняются следующие тождества:

  1. e+f = f+e ;
  2. e+0 = e ;
  3. (e+f)+g = e+(f+g) ;
  4. e \redot 1 = e ;
  5. 1 \redot e = e ;
  6. (e \redot f) \redot g = e \redot (f \redot g) ;
  7. e \redot (f \replus g) = e \redot f \replus e \redot g ;
  8. (f \replus g) \redot e = f \redot e \replus g \redot e ;
  9. e \redot 0 = 0 ;
  10. 0 \redot e = 0.

Равенство понимается как равенство языков, задаваемых регулярными выражениями.

Лемма 5.2.2. Для любых регулярных выражений e и f выполняются следующие тождества:

  1. e+e = e ;
  2. (1+e+ee+...+en-1)(en)* = e* для любого n \geq 1 ;
  3. (e*f)*e* = (e+f)* ;
  4. 1+e(fe)*f = (ef)*.

Лемма 5.2.3. Для любых регулярных выражений e, f и g, если e = ef+g и \varepsilon \notin \regval{ f }, то e = gf*.

Упражнение 5.2.4. Упростить регулярное выражение 0*.

Упражнение 5.2.5. Упростить регулярное выражение (a+b+ab)*.

Упражнение 5.2.6. Упростить регулярное выражение (a*b)*+(b*a)*.

Упражнение 5.2.7. Упростить регулярное выражение ((b+a)*b+1)b*.

Упражнение 5.2.8. Упростить регулярное выражение ((ab+aab)*a*)*.

Упражнение 5.2.9. Упростить регулярное выражение (abbaab+abbaaba)*.

Упражнение 5.2.10. Упростить регулярное выражение (a+b)*(a(a+b)*a+b(a+b)*b).

Упражнение 5.2.11. Упростить регулярное выражение (eb*(1+c(d+ab*c)*a)b*f)*eb*c(d+ab*c)*.

< Лекция 5 || Лекция 6: 123 || Лекция 7 >
Юлия Маковецкая
Юлия Маковецкая

Упражнение 2.1.25

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

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

Наталья Алмаева
Наталья Алмаева
Россия
Николай Щербаков
Николай Щербаков
Россия, Москва