
例题:构造一个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 |
本文介绍了如何构造一个确定有限状态自动机(DFA),该DFA接受一个二进制符号串,其中每个1后面都紧跟着0。通过正规式(0|10)*进行分析,详细步骤包括NFA的构建、NFA确定化以及DFA的最小化过程。

例题:构造一个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 |
6316
4万+

被折叠的 条评论
为什么被折叠?