Преобразование регулярного выражения в ДКА — различия между версиями

Материал из Викиконспекты
Перейти к: навигация, поиск
м (rollbackEdits.php mass rollback)
 
Строка 1: Строка 1:
{| class="wikitable" align="center" style="color: red; background-color: black; font-size: 56px; width: 800px;"
 
|+
 
|-align="center"
 
|'''НЕТ ВОЙНЕ'''
 
|-style="font-size: 16px;"
 
|
 
24 февраля 2022 года российское руководство во главе с Владимиром Путиным развязало агрессивную войну против Украины. В глазах всего мира это военное преступление совершено от лица всей страны, всех россиян.
 
 
Будучи гражданами Российской Федерации, мы против своей воли оказались ответственными за нарушение международного права, военное вторжение и массовую гибель людей. Чудовищность совершенного преступления не оставляет возможности промолчать или ограничиться пассивным несогласием.
 
 
Мы убеждены в абсолютной ценности человеческой жизни, в незыблемости прав и свобод личности. Режим Путина — угроза этим ценностям. Наша задача — обьединить все силы для сопротивления ей.
 
 
Эту войну начали не россияне, а обезумевший диктатор. И наш гражданский долг — сделать всё, чтобы её остановить.
 
 
''Антивоенный комитет России''
 
|-style="font-size: 16px;"
 
|Распространяйте правду о текущих событиях, оберегайте от пропаганды своих друзей и близких. Изменение общественного восприятия войны - ключ к её завершению.
 
|-style="font-size: 16px;"
 
|[https://meduza.io/ meduza.io], [https://www.youtube.com/c/popularpolitics/videos Популярная политика], [https://novayagazeta.ru/ Новая газета], [https://zona.media/ zona.media], [https://www.youtube.com/c/MackNack/videos Майкл Наки].
 
|}
 
 
 
==Преобразование регулярного выражения в ДКА==
 
==Преобразование регулярного выражения в ДКА==
  

Текущая версия на 19:22, 4 сентября 2022

Преобразование регулярного выражения в ДКА

Чтобы преобразовать регулярное выражение в ДКА, нужно:

  1. Преобразовать регулярное выражение в НКА с [math]\varepsilon[/math]-переходами.
  2. Устранить [math]\varepsilon[/math]-переходы.
  3. Построить по НКА эквивалентный ДКА.

Преобразование регулярного выражения в НКА

Преобразование проводится структурной индукцией по выражению [math]R[/math], следуя рекурсивному определению регулярных выражений. Необходимо рекурсивно "спуститься" вглубь языка [math]L(R)[/math], дойдя до нулевого уровня - [math]R_0[/math]. Автоматы, распознающие [math]L(R_0)[/math] представлены на рис. 1, это базис.

рис. 1. a. [math]\varepsilon[/math] б. [math]\varnothing[/math] в. [math]a[/math]

Далее строится выражение [math]\mathrm{R_{i+1}}[/math], пока [math]\mathrm{R_{i}} \ne R[/math] следующим образом:

  1. Выражение имеет вид [math]R_i|S[/math], для некоторых выражений [math]R_i[/math] и [math]S[/math]. Тогда ему соответствует автомат, представленный на рис. 2.a. Предполагаем, что [math]R_i[/math] уже построено, а [math]S[/math] строится по тому же алгоритму, что и [math]R[/math], значит, возможно построить [math]\mathrm{R_{i+1}} = R_i|S[/math]
  2. Выражение имеет вид [math]R_iS[/math]. Автомат для этой конкатенации представлен на рис. 2.б. Предполагаем, что [math]R_i[/math] уже построено, а [math]S[/math] строится по тому же алгоритму, что и [math]R[/math], значит, возможно построить [math]\mathrm{R_{i+1}} = R_iS[/math]
  3. Выражение имеет вид [math]R_i^*[/math]. Используем автомат, представленный на рис. 2.в.
рис. 2. Индукционный переход преобразования регулярного выражения в НКА

Пример

Задача: Преобразовать регулярное выражение [math](0|1)^*1(0|1)[/math] в ДКА.

Регулярное выражение Автомат
Преобразуем регулярное выражение [math](0|1)^*1(0|1)[/math] в [math]\varepsilon[/math]-НКА. Построим сначала автомат для [math]0|1[/math]. Это выражение имеет вид [math]R|S[/math].
0+1.png
Далее считаем, что [math](0|1)[/math] это подвыражение вида [math]R[/math], и строим выражение [math](0|1)^*[/math].
(0+1)star.png
Выражение [math](0|1)^*1[/math] имеет вид [math]RS[/math], [math](0|1)^*1(0|1)[/math] имеет тот же вид.
(0+1)star1(0+1).png
Удалим [math]\varepsilon[/math]-переходы, согласно алгоритму из статьи, получим НКА.
RemoveEps.png
Преобразуем НКА в ДКА по алгоритму Томпсона.
MinDKA.png

Преобразование ДКА в регулярное выражение

Алгебраический метод Бжозовского

При преобразовании ДКА в регулярное выражение создается система регулярных выражений для каждого состояния в ДКА, а затем она решается для регулярных выражений [math]R_i[/math], связанных с терминальным состояниями [math]q_i[/math]. Построение уравнения происходит следующим образом: для каждого состояния [math]q_i[/math] уравнение [math]R_i[/math] является объединением переходов, ведущих в это состояние. Переход a из [math]q_i[/math] в [math]q_j[/math] обозначается за [math]aR_i[/math]. Если [math]q_i[/math] - терминальное состояние, то в [math]R_i[/math] добавляется [math]\varepsilon[/math]. Это приводит к системе уравнений вида:

[math] \begin{cases} R_1 = a_1*R_1 + a_2*R_2 + a_3*R_3 + ... \\ R_2 = a_1*R_1 + a_2*R_2 + a_3*R_3 + ... + \varepsilon \\ ... \\ R_m = a_1*R_1 + a_2*R_2 + a_3*R_3 + ... + \varepsilon \end{cases} [/math]

где [math]a_x[/math] = [math]\varnothing[/math] если нет перехода от [math]R_i[/math] к [math]R_j[/math]. Система может быть решена с помощью простой подстановки, за исключением случаев, когда неизвестное появляется как в правой, так и в левой части уравнения. Для этого можно воспользоваться теоремой Ардена:

Уравнение вида [math]R = Q + RP[/math], где [math]P \ne \varepsilon[/math], имеет решение [math]R = QP^*[/math].

Пример

AutToReg.png

Задача: Построить регулярное выражение, удовлетворяющее данному ДКА.

Решение:

[math] \begin{cases} R_1 = b*R_2 + a*R_3 + \varepsilon \\ R_2 = a*R_1 \\ R_3 = b*R_1 \\ R_4 = a*R_2 + b*R_3 + a*R_4 + b*R_4 + \varepsilon \end{cases} [/math]

Рассмотрим первое терминальное состояние:

[math]R_1 = \varepsilon + abR_1 + baR_1 = \varepsilon + R_1(ab+ba)[/math]

Воспользуемся теоремой Ардена:

[math]R_1=(ab+ba)^*[/math]

Рассмотрим второе терминальное состояние :

[math]R_4=R_1(aa+bb)+R_4(a+b)=R_1(aa+bb)(a+b)^*[/math]

Объединим выражения для терминальных состояний и получим искомое регулярное выражение:

[math]R = R_1 + R_4= (ab+ba)^* (\varepsilon + (aa+bb) (a+b)^*)[/math]

См. также

Источники информации

  • John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman «Introduction to Automata Theory, Languages, and Computation», 2/E
  • Christoph Neumann «Converting Deterministic Finite Automata to Regular Expressions»