4. Сведение недетерминированного автомата к детерминированному.
Недетерминированность автомата локально проявляется в том, что из некоторого его состояния qi исходят несколько дуг, помеченных одним и тем же символом Xj. В этом случае она устраняется склеиванием двух состояний в одно. В результате применения этого алгоритма от автомата на рис.1 можно перейти к эквивалентному детерминированному автомату, таблица переходов которого приведена в табл. 5, а соответствующий ей граф переходов - на рис. 2. Таблица 5
q |
x0 |
x1 |
x2 |
x3 |
x4 |
x5 |
x6 |
x7 |
q0 |
|
|
|
|
q1,3,7 |
q10 |
|
|
q1,3,7 |
q2 |
|
|
|
q9 |
|
q19 |
q4 |
q2 |
|
q5 |
|
|
|
|
|
|
q4 |
|
|
|
|
|
|
|
q6 |
q5 |
|
|
|
|
q8 |
|
q19 |
|
q6 |
|
|
|
|
q9 |
|
q19 |
|
q8 |
q0 |
|
|
|
q19 |
|
|
|
q9 |
q0 |
|
|
|
q19 |
|
|
|
q10 |
q14 |
q17 |
|
|
|
|
q11 |
|
q11 |
q12 |
|
|
|
|
|
|
|
q12 |
|
|
|
|
|
q13 |
|
|
q13 |
|
|
q19 |
|
|
|
|
|
q14 |
q15 |
|
|
|
|
|
|
|
q15 |
|
|
|
|
|
q16 |
|
|
q16 |
|
|
q19 |
|
|
|
|
|
q17 |
|
|
q18 |
|
|
|
|
|
q18 |
|
|
q19 |
|
|
|
|
|
q19 |
|
|
|
|
|
|
|
|
Рисунок 2
