| 图 4.6 DFA M
|
 |
| 又例：将下图的NFA确定化 |
 |
划分子集及重新命名：
 |
Ia |
Ib |
| {i,1,2}
S |
{1,2,3}
A |
{1,2,4}
B |
| {1,2,3}
A |
{1,2,3,5,6,f}
C |
{1,2,4}
B |
| {1,2,4}
B |
{1,2,3}
A |
{1,2,4,5,6,f}
D |
| {1,2,3,5,6,f}
C |
{1,2,3,5,6,f}
C |
{1,2,4,6,f}
E |
| {1,2,4,5,6,f}
D |
{1,2,3,6,f}
F |
{1,2,4,5,6,f}
D |
| {1,2,4,6,f}
E |
{1,2,3,6,f}
F |
{1,2,4,5,6,f}
D |
| {1,2,3,6,f}
F |
{1,2,3,5,6,f}
C |
{1,2,4,6,f}
E |
|
确定化后的自动机：
|
