3.Построение недетерминированного конечного автомата.
Для построения недетерминированного конечного автомата введем следующие обозначения:
Таблица №3
S |
S1 |
S2 |
S3 |
S4 |
A |
B |
C |
D |
E |
F |
F1 |
F2 |
F3 |
F4 |
F5 |
F6 |
F7 |
F8 |
― |
q0 |
q1 |
q2 |
q3 |
q4 |
q5 |
q6 |
q7 |
q8 |
q9 |
q10 |
q11 |
q12 |
q13 |
q14 |
q15 |
q16 |
q17 |
q18 |
q19 |
q |
х0 |
х1 |
х2 |
х3 |
х4 |
х5 |
х6 |
х7 |
q0 |
|
|
q1, q3 |
q7 |
|
|
|
q10 |
q1 |
|
q2 |
|
|
|
|
|
|
q2 |
q5 |
|
|
|
|
|
|
|
q3 |
|
q4 |
|
|
|
|
|
|
q4 |
|
|
|
|
|
|
|
q6 |
q5 |
|
|
|
|
|
q8 |
|
q19 |
q6 |
|
|
|
|
|
q9 |
|
q19 |
q7 |
|
|
|
|
|
q9 |
|
q19 |
q8 |
|
|
|
q0 |
|
|
|
q19 |
q9 |
|
|
|
q0 |
|
|
|
q19 |
q10 |
|
|
|
|
q11 |
q14 |
|
q17 |
q11 |
q12 |
|
|
|
|
|
|
|
q12 |
|
q13 |
|
|
|
|
|
|
q13 |
q19 |
|
|
|
|
|
|
|
q14 |
q15 |
|
|
|
|
|
|
|
q15 |
|
q16 |
|
|
|
|
|
|
q16 |
q19 |
|
|
|
|
|
|
|
q17 |
|
|
|
q18 |
|
|
|
|
q18 |
q19 |
|
|
|
|
|
|
|
q19 |
|
|
|
|
|
|
|
|
Как следует из таблицы и из графа, автомат является недетерминированным (находясь в состоянии q0 под действием сигнала х2 он может перейти в два разных состояния).
Каждому нетерминальному символу грамматики соответствует вершина графа автомата (в таблице №3 вершина графа автомата – qi).
х3
х1
х0
х5
х7
х7
х7
х2
х3
х5
х3
х7
х5
х2
х7
х1
х7
х0
х0
х1
х4
х1
х0
х0
х5
х3
х0
х7