形式语言与自动机理论--第三章（蒋宗礼）.ppt

3.4 带空移动的有穷状态自动机 带空移动的不确定的有穷状态自动机(non-deterministic finite automaton with ε-moves,ε-NFA) M=(Q，∑，δ，q0，F)，Q、∑、q0、F的意义同DFA。 δ：Q×(∑∪{ε})?2Q 3.4 带空移动的有穷状态自动机 非空移动 ?(q，a)∈Q×∑ δ(q，a)= {p1，p2，…，pm} 表示M在状态q读入字符a，可以选择地将状态变成p1、p2、…或者pm ，并将读头向右移动一个带方格而指向输入字符串的下一个字符。 3.4 带空移动的有穷状态自动机 空移动 ?q∈Q δ(q，ε)= {p1，p2，…，pm} 表示M在状态q不读入任何字符，可以选择地将状态变成p1、p2、…或者pm 。也可以叫做M在状态q做一个空移动(又可以称为ε移动)，并且选择地将状态变成p1、p2、…或者pm。 3.4 带空移动的有穷状态自动机 进一步扩充δ的定义域：δ：2Q×∑*?2Q。对任意的P?Q，w∈∑* 。 对任意的q∈Q，w∈∑*，a∈∑。 ⑴ ε-CLOSURE(q)={p|从q到p有一条标记为ε的路}。 3.4 带空移动的有穷状态自动机 3.4 带空移动的有穷状态自动机 进一步扩展移动函数：2 Q×∑?2Q 。 对任意(P，a)∈2 Q×∑。 3.4 带空移动的有穷状态自动机 在ε-NFA中，对任意a∈∑，q∈Q， 需要严格区分。 图3-14 所示ε-NFA 状态 δ ? ε 0 1 2 ε 0 1 2 q0 { q1} { q0} Φ Φ {q0,q1,q2} {q0,q1,q2} {q1,q2} {q2} q1 { q2} Φ { q1} Φ {q1,q2} Φ {q1,q2} {q2} q2 Φ Φ Φ { q2} {q2} Φ Φ {q2} 3.4 带空移动的有穷状态自动机 M接受(识别)的语言 对于?x∈∑*，仅当 时，称x被M接受。 3.4 带空移动的有穷状态自动机 定理 3-2ε-NFA与NFA等价。 证明：设有ε-NFA M1=(Q，∑，δ1，q0，F) (1) 构造与之等价的NFA M2 。 取NFA M2=(Q，∑，δ2，q0，F2) F∪{q0} 如果F∩ε-CLOSURE(q0)≠Φ F2= F 如果F∩ε-CLOSURE(q0)=Φ 3.4 带空移动的有穷状态自动机 (2) 施归纳于|x|，证明对?x∈∑+ 。 δ2(q0，x)= δ2(q0，wa) =δ2(δ2(q0，w)，a) =δ2((q0，w)，a) 3.4 带空移动的有穷状态自动机 3.2有穷状态自动机 δ(q[ε]，a1)=q[a1] δ(q[a1]，a2)=q[a1a2] δ(q[a1a2]，a3)=q[a1a2a3] q[a1a2a3a] 如果a1+a2+a3+a≤3 δ(q[a1a2a3]，a)= qt 如果a1+a2+a3+a3 3.2有穷状态自动机 q[a1a2a3a4a] 如果a1+a2+a3+a4+a≤3 δ(q[a1a2a3a4]，a)= qt 如果a1+a2+a3+a4+a3 q[a2a3a4a5a] a2+a3+a4+ a5+a≤3 δ(q[a1a2a3a4a5]，a)= qt 如果a2+a3+a4+ a5+a3 δ(qt，a1)=qt 3.3 NFA 3.3.1 作为对DFA的修改 希望是接受{x|x∈{0，1}*，且x含有子串00或11}的FA如下： 3.3.1 作为对DFA的修改 希望是接受{x|x∈{0，1}*，且x 的倒数第10个字符为1}的FA如下 ： 3.3.1 作为对DFA的修改 这两个图所给的“FA”与前面我们所定义的FA，即DFA，的区别在于： ⑴ 并不是对于所有的(q，a)∈∑×Q,δ(q，a)都有一个状态与它对应； ⑵ 并不是对于所有的(q，a)∈∑×Q,δ(q，a)只对应一个状态。 “FA”在任意时刻可以处于有穷多个状态。 “FA”具有“智能”。 3.3.2 NFA的形式定义 不确定的有穷状态自动机(non-deterministic finite automaton ,NFA) M是一个五元组 M=(Q，∑，δ，q0，F) Q、∑、q0、F的意义同DFA。 δ：Q×∑?2Q，对?(q，a)∈Q×∑，δ(q，a)= {p1，p2，…，pm}表示M在状态q读入字符a，可以选择地将状态变成p1、或者p2、…、或者pm ，并将读头向右移动一个带方格而指向