单击此处编辑母版标题样式单击此处编辑母版文本样式第二级第三级第四级第五级2.2.3 NFA到DFA的转换定义2.26 有限自动机的等价 对于给定的限自动机M1和 M2如果有 L(M1) = L(M2)则称有限自动机M1和 M2等价定理2.5 对于每一个非确定自动机M存在一个确定自动机M使得L(M)=L(M)NFA确定化:由NFA构造出与其等价的DFA称为NFA确定化 介绍两个重要函数: 状态