有限自动机理论03章有限状态自动机概要.ppt

对于q∈Q，a∈∑, D1，D2，…，Dm∈{L,R,N}， δ(q,a)={(p1,D1),(p2,D2),…(pm,Dm)} 2NFA在状态q读入字母a 可以将状态变为pi 按照Di实现对读头的移动 定理3-7 2NFA与NFA等价。 证明： 略。 3.6.2带输出的有限状态自动机 FA，对于某个输入串w 得到的结论是: 是否接收该串； 或FA输出 “是”或“否”。 存在许多有穷状态系统 对于不同的输入信号， 除系统内部的状态变化之外， 还向系统外部输出各种信号。 模型图 有限状态系统 输入序列 输入序列 典型带输出的有穷自动机----Moore机和Mealy机。 由于它们带有输出，从抽象的角度考虑，就没有必要再设置接收状态（集）。 定义3-21 Moore机是一个六元式： Moore M=(Q,∑,△,δ,λ, q0) 其中 Q，∑，q0，δ的含义同FA △：输出字母表 输出函数λ：Q→△ 对于q∈Q，a∈△ λ(q)=a 表示Moore机处于状态q时输出a Moore机 在读入输入串的过程中 状态不断发生改变 并且在每个状态上都有输出 对于输入串a1a2a3…an-1an 设δ(q0,a1)= q1 δ(q1,a2)= q2 … δ(qn-2,an-1)