有限自动机理论 3章有限状态自动机.ppt

定理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)= qn-1 δ(qn-1,an)= qn 则 Moore机的输出序列可以表示为： λ(q0)λ(q1)λ(q2)…λ(qn) 如果输入串的长度为n,则Moore机的输出串的长度为n+1。 实际上 FA只是Moore机的一个特例。 若Moore机的输出仅只有F或T 将输出T的状态当作接收状态，Moore机就是一般的FA。 例3-31设计Moore机 ∑={0，1} 若将输入串当作二进制数，则在读入串的过程中， 希望输出已经读过的（数字）串模3的余数。 分析 模3的余数只能是0、1和2 输出字母表△={0，1，2} 状态q0、q1和q2对应3种余数 状态上的标记表示Moore机在该状态时的输出 q0 q1 q2 0 1 2 0 0 0 1 1 1 当输入为1010时 状态变换的序列为 q0 q1 q2 q2 q1 输出 0 1 2 2 1 即 当输入ε时，输出余数0 当输入1时，输出余数1 当输入10时，输出余数2 当输入101时，输出余数2 当输入1010时，输出余数1 定义3-22 Mealy机是一个六元式： Mealy M=(Q,∑,△,δ，λ, q0) 其中 Q，∑，q0，δ的含义同FA △：输出字母表 输出函数λ：Q×∑→△ 对于q∈Q，x∈∑，a∈△ λ(q，x)=a 表示Moore机在状态q,读入字母x时，输出a Mealy机在读入输入串的过程中， 状态不断发生改变， 并且在读入某个字母时， Mealy机都有输出。 对于输入序列a1a2a3…an-1an 设 δ(q0,a1)= q1 δ(q1,a2)= q2 … δ(qn-2,an-1)= qn-1 δ(qn-1,an)= qn 或 δ*(P,aw)=δ* (δ*(P,a),w) 对于 ε-CLOSURE(q0)= ε-CLOSURE(q1)= ε-CLOSURE(q2)= q0 q1 q2 ? 2 0 1 ? {q0 {q1，q2} {q2} ,q1 ,q2} 对于 δ*({q0},ε) =ε-CLOSURE(q0) ={q0，q1，q2} q0 q1 q2 ? 2 0 1 ? δ*({q0},0) = δ*({q0}, ε0ε) =ε-CLOSURE(∪δ (p,0)) p∈δ*(｛q0｝,ε) =ε-CLOSURE(δ (q0,0) ∪δ (q1,0) ∪δ (q2,0)) =ε-CLOSURE({q0}) ={q0，q1，q2} q0 q1 q2 ? 2 0 1 ? δ*（{q0},01） =δ* (δ*({q0},0),1) =δ* ({q0,q1,q2},1) =ε-CLOSURE(δ (q0,1) ∪δ (q1,1) ∪δ (q2,1)) ={q1,q2} q0 q1 q2 ? 2 0 1 ? 注意 δ*({q}，ε)与δ(q，ε)不同 ? 定理3-5 如果语言L被ε-NFA接收，则 该语言L也能够被一个NFA接收 证明 ： 假设语言L被一个ε-NFA接收, ε-NFA =(Q，∑，δ，Q0，F) 1)构造 NFA1= (Q，∑，δ1，Q0，F1) 其中:对于a∈∑ δ1(q，a)= δ*（{q}，a） F1= F∪{q0} 若 F∩ε-CLOSURE(q0)≠φ F1= F 若