编译原理，有限自动机确定性NFA和DFA判断，说明判断理由

来源：蜘蛛抓取(WebSpider) 时间：2021-09-26 12:25 标签：

确定性有限自动机 ( DFA ) 与 非确定性有限自动机 ( NFA ) 之间是相互等价的 ;

确定性的有限自动机 ( DFA ) 可以 看作是非确定性有限自动机 ( NFA ) ;

确定性有限自动机 给定一个输入 , 其输出时唯一的 ;

非确定性囿限自动机的定义 包含 确定性有限自动机的 定义中 ;

确定性有限自动机 ( DFA ) 就是 特殊的 非确定性有限自动机 ( NFA ) ;

可以证明非确定性有限自动机 ( NFA ) , 必定有┅个 确定性有限自动机 ( DFA ) 与其等价 ;

从 起始状态 开始推演运行 ,

列出所有的 分支步骤 ,

注意 计算分叉节点 , 会产生多个后续状态 ,

此时就生成了 新的状態 ,

这些新的状态就是非确定性有限自动机 转换成的 确定性有限自动机的 新状态 ;

① 新状态生成时机 : 有两种情况会出现计算分支 ,

{1,3} 的后续状态时 , 會分别计算集合中的两个状态分别读取 a \rm a a 字符的后继状态 , 取并集 ;

b 字符的后继状态没有 , 就是空集 ;

3. 接受状态 : 如果最终的 DFA 的新状态集合中 , 包含 NFA 的接受状态 , 那么该新状态就是接受状态 ;

4. 空集 : 如果其中有空集 , 那么将空集也当做一个状态 , 空集状态下读取任何字符都是空集 ;

全文阅读已结束如果下载本文需要使用

该用户还上传了这些文档

我要回帖

 

随机推荐