例题:构造一个DFA,它接受一个二进制符号串:每个1都有0直接跟在右边,并将其化简。
解析:由题意可知这个符号串是由0和10构成的,所以它的正规式为:(0|10)*
(1):求NFA:
(2):NFA确定化:ԑ_I是初始集I的ԑ闭包,I_0是I集合的0弧转换的ԑ闭包,I_1同理。
ԑ_I | I_0 | I_1 |
{X,A,Y} | {A,Y} | {B} |
{A,Y} | {A,Y} | {B} |
{B} | {A,Y} |
换掉其中的集合:
ԑ_I | I_0 | I_1 |
1 | 2 | 3 |
2 | 2 | 3 |
3 | 2 |
得到DFA:
(3):DFA最小化:
初始划分:{1,2},{3};