188
правок
Изменения
→Пример работы
# Делинеаризация, переименование каждого символа из <tex>B</tex> в соответствующий ему символ из <tex>A</tex>.
===Пример работы===
[[Файл:Glushkov_lin_automata.jpg|frame|right|Автомат, построенный в ходе работы алгоритма Глушкова]]
Рассмотрим регулярное выражение <tex>e = (a(ab)^*)^* + (ba)^*</tex>.
В построенном автомате существует переход из <tex>1</tex> (соответствующего пустой строке) в два состояния из <tex>P'</tex>, переход из <tex>a</tex> в <tex>b</tex> если <tex>ab \in N'</tex>, три состояния <math>S'</math> терминальные (как и состояние <tex>1</tex>).
4. Получим автомат для <tex>L(e)</tex> , удалив индексы, добавленные на первом этапе.
== См. также ==
