Граф минимального автомата
Получен минимальный приведённый автомат.
q |
x0 |
x1 |
x2 |
x3 |
x4 |
x5 |
x6 |
x7 |
r0 |
|
|
r4 |
|
r1 |
|
r6 |
|
r1 |
|
r2 |
|
|
|
r3 |
|
|
r2 |
r4 |
|
|
|
|
|
|
|
r3 |
|
r4 |
|
|
|
|
|
|
r4 |
|
|
r5 |
|
|
r11 |
|
|
r5 |
|
|
|
r11 |
|
|
|
r0 |
r6 |
r7 |
|
r10 |
|
|
r7 |
|
|
r7 |
|
|
|
r8 |
|
|
|
|
r8 |
r9 |
|
|
|
|
|
|
|
r9 |
r11 |
|
|
|
|
|
|
|
r10 |
|
|
|
|
|
|
|
r9 |
r11 |
|
|
|
|
|
|
|
|
r12 |
- |
- |
- |
- |
- |
- |
- |
- |
Сети петри
Если нетерминальным символам грамматики поставить в соответствие позиции Сетей Петри, а терминальным символам – переходы, то грамматику можно представить в виде Сети Петри.
x0
x3
x0
x0
x6
x5
x3
x0
x0
x2
x7
x0
x3
x7
x4
x1
x0
x2
x5
x5
x4
x5
x1
x1
x7
x2
x3
x2
x5
x2
x4
x1
x0
x5
x1
x2
x6
x2
x0
x3
x0
x5
x0
x7
x7
x3
x5