317
правок
Изменения
→Пример
Окончательное регулярное выражение, эквивалентное автомату, строится путем объединения всех тех выражений, для которых первое состояние
является начальным, а второе {{---}} заключительным. В нашем примере <tex>1</tex> {{---}} начальное состояние, а <tex>2</tex> {{---}} заключительное, поэтому нам нужно лишь выражение <tex>R_{12}^{(1)}</tex>, равное <tex>1^*0(0 + 1)^*</tex>
Отметим, что первый вариант значительно короче. В общем случае, обычно проще решить систему уравнений, чем выполнять несколько итераций. Учитывая, что количество итераций увеличивается с увеличением переходов в автомате (мы ищем все варианты прохода в финальное состояние), то даже в автомате из трех состояний количество итераций может быть достаточно большим.
== См. также ==
