DFA与NFA的区别与联系

概念

记号

      有字母表中的符号组成的有限长度的序列。记号s的长度记为|s|.长度为0的记号成为空记号,记为∑。

有限自动机(Finite State Automaton)

      为研究某种计算过程而抽象出的计算模型。拥有有限个状态,根据不同的输入每个状态可以迁移到其他的状态。

非确定有限自动机(Nondeterministic Finite Automaton)

       简称NFA,由以下元素组成:

       1.有限状态集合S;

        2.有限输入符号的字母表∑;

        3.状态转移函数move;     

        4.开始状态sSUB{0};

        5.结束状态集合F, F∈S。

        自动机初始化状态为sSUB{0},逐一读入输入字符串中的每一个字母,根据当前状态,读入的字母,由状态转移函数move控制进入下一个状态。如果输入字符串读入结束时自动机的状态属于结束状态集合F,则说明该自动机接受该字符串,否则为不接受。

确定有限自动机(Deterministic Finite Automaton)

       简称DFA,是NFA的一直特例,有以下两条限制:

       1. 对于空输入∑,状态不发送迁移;

       2.某个状态对于每一种输入最多只有一种状态转移。

 

 

 

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值