Изменения

Рассмотрим регулярное выражение <tex>e = (a(ab)^*)^* + (ba)^*</tex>.

:<tex>e'=(a_1(a_2b_3)^*)^*+(b_4a_5)^*</tex>.

:<tex>P(e')=\{a_1,b_4\}</tex>,<br />

:<tex>S(e')=\{a_1,b_3,a_5\}</tex>,<br />

Так как пустое слово принадлежит языку, то <math>\Lambda(e')=\{\varepsilon\}</math>.

В построенном автомате существует переход из <tex>1</tex> (соответствующего пустой строке) в два состояния из <tex>P'</tex>, переход из <tex>a</tex> в <tex>b</tex> если <tex>ab \in N'</tex>, три состояния <math>S'</math> терминальные (как и состояние <tex>1</tex>).

== См. также ==