有_穷自动机.pptVIP

第二章 有穷自动机 （Finite Automata） §2.1 有穷自动机（FA） 有穷自动机通常作为一种模式应用在以下方面： §2.1 有穷自动机（FA） §2.1 有穷自动机（FA） §2.2 确定型有穷自动机（DFA） 1、形式化定义 定义2.2.1 有穷自动机（FA）是一个五元组 ——A的初始状态或启动状态 ， §2.2 确定型有穷自动机（DFA） 2、有穷自动机的简化表示 定义2.2.2 转移图(transition diagram) ⑴ q∈Q ? q 存在一个顶点； ⑵ δ(q，a)=p ? 图中有一条从顶点q到顶点p的标记为a的箭弧； ⑶ q∈F ? 标记为q的顶点被用双层圈标出，不属于F的状态用单圆圈； ⑷ 用标有Start的箭头指出的DFA的初始状态。 例2 设计一个DFA满足如下情况： 其转移表（函数）为： §2.2 确定型有穷自动机（DFA） §2.2 确定型有穷自动机（DFA） 定义2.2.5（DFA的语言）：设DFA 例4 接受语言 例5 接受语言 例6 接受语言 例7 接受语言 例8 接受语言 §2.3 非确定型有穷自动机（NFA） 1、对DFA的修改 §2.3 非确定型有穷自动机（NFA） §2.3 非确定型有穷自动机（NFA） 与DFA一样，NFA也有一个有穷的状态集合、一个有穷的输入符号集合、 一个初始状态和一个接受状态的集合。也有一个通常称为δ的转移函数。 　　 §2.3 非确定型有穷自动机（NFA） 定义2.3.2 NFA是一个五元组 例3：设计只接受以01结尾的串的自动机。 NFA与DFA的转移表的区别： 　　　 接受语言{0n1m2k|n，m，k≥0}的NFA §2.3 非确定型有穷自动机（NFA） 在例3中，计算 §2.3 非确定型有穷自动机（NFA） §2.3 非确定型有穷自动机（NFA） 2.3.4 NFA的语言定义 设 2.3.5 DFA与NFA的等价性 构造给定NFA等价的DFA策略 子集构造：形式化地用一个自动机的状态和转移来描述另一个自动机，却不知道前着的具体情况。 具体实现方法：先只把开始状态[q0]填入表的状态列中，如果表中所列的状态列有未处理的，则任选一个未处理的状态[q1，q2，…，qn]，对∑中的每个字符a，计算δ([q1，q2，…，qn]，a)，并填入相应的表项中，如果δ([q1，q2，…，qn]，a)在表的状态列未出现过，则将它填入表的状态列。如此重复下去，直到表的状态列中不存在未处理的状态。  表3-7 状态转移函数 §2.5 带ε转移的有穷自动机 §2.5 带ε转移的有穷自动机 §2.5 带ε转移的有穷自动机 §2.5 带ε转移的FA—扩展转移和语言 §2.5 带ε转移的FA—扩展转移和语言 例2. 根据下图计算 §2.5 带ε转移的FA的扩展 §2.5 带ε转移的FA—语言 §2.5 带ε转移的FA—语言 定理 2-23 ε-NFA与NFA等价。 证明：设有ε-NFA A1=(Q，∑，δ1，q0，F) (1) 构造与之等价的NFA A2 。 取NFA A2=(Q，∑，δ2，q0，F2) F∪{q0} 如果F∩ε-CLOSURE(q0)≠Φ F2= F 如果F∩ε-CLOSURE(q0)=Φ (2) 施归纳于|x|，证明对?x∈∑+， (3) 证明, 对?x∈∑+，δ2(q0，x) ∩ F2≠Φ 的充分必要条件是 §2.6 Moore机与Mealy机 带输出的有限状态自动机 FA对于某个输入串w得到的结论是:是否接收该串;或FA输出 “是”或“否”。 存在许多有穷状态系统对于不同的输入信号，除系统内部的状态变化之外，还向系统外部输出各种信号。模型为： 典型带输出的有穷自动机----Moore机和Mealy机。 由于它们带有输出，从抽象的角度考虑，就没有必要再设置接收状态（集）。 §2.6 Moore机与Mealy机 2.6.1 Moore机是一个六元组： §2.6 Moore机与Mealy机 §2.6 Moore机与Mealy机 §2.6 Moore机与Mealy机 §2.6 Moore机与Mealy机 2.6.2 Mealy机 §2.6 Moore机与Mealy机 §2.6 Moore机与Mealy机 §2.6 Moore机与Mealy机 Moore机处理该串时每经过一个状态，就输出一个字符：输出字符和状态一一对应； §2.6 Moore机与Mealy机 本章小结 确定性有穷自