(模式识别)第六章结构模式识别.pptVIP

x=a b a b a a a b a a [B,R] ∈F, x可以被文法G接受 前后文无关语言和下推自动机 七元式MP = (T,Q,δ,q0, Z0 ,F, Г ) 其中T,Q,q0,F同有限自动机 δ:转换函数, Г:下推符号的有限集合, Z0 :下推存贮器的起始符 例如：δ(qi,b,Z) = (qj, β) 处于状态qi，注视输入字符b，并且在下推存储器顶端有符号Z，则下推自动机进入qj状态，并以β代替Z，同时将输入头推进一格 δ(qi,λ,Z) = (qj, β)表示处于状态qi，没有输入符号，并且在下推存储器顶端有符号Z，则下推自动机进入qj状态，并以β代替Z，输入头不前进，这是用于处理下推存储器内存的操作，叫λ移动 输入的句子X被下推自动机接受的方式 ①终止状态方式 表示当读入X链时，如果下推自动机从初始状态q0开始变换到终止状态集中的qf状态时，X正好读完，则不论下推存储器内容如何都认为链X被下推自动机M接受 ②空堆栈识别方式 表示当读入链X后，下推存储器变空，就认为链X被下推自动机M接受，不管此时下推自动机的状态是否在终止状态集F中 例6：不确定的下推自动机 MP ={Q=(q0), T=(a,b,c,d),Г=(S,A,B,C,D),δ, q0, Z0=S, F=Φ} δ(q0,c,S) = {(q0,DAB), (q0, C)} δ(q0,a,D) = {(q0, λ )}, δ(q0,b,B) = (q0, λ) δ(q0,d,C) = (q0, λ ), δ(q0,a,A) ={ (q0, AB ), (q0, CB )} 堆栈变空，X=caadbb可以接受，这种不确定的下推自动机在识别过程中需试探进行。 输入x＝caadbb →(q0,DAB) →(q0,AB) →(q0,CBB) →(q0,BB) →(q0, B) →(q0,λ) ↓ (q0,C) ↓ (q0,ABB) ↓ 不通 ↓ 不通 (q0,S) 例7：确定的下推自动机MP = (T,Q,δ,q0, Z0 ,F, Г ) T=(0,1)，Q＝{q0,q1,q2}，Г＝(2,0)，F=(q0)，Z0=Z δ(q0,0,Z) = (q1,02), δ(q1,0,0) = (q1,00) δ(q1,1,0) = {(q2, λ )}, δ(q2,1,0) = (q2, λ ) δ(q2, λ,2) = (q0, λ ) δ(q0,Z) →δ(q1,02) →δ(q1,002) →δ(q2,02) →δ(q2,2) →δ(q0, λ) 堆栈变空，X＝0011可以被接受 输入X＝0011 前后无关文法G = (VN,VT, P, S)构造下推自动机 MP = (T,Q,δ,q0, Z0 ,F, Г )步骤如下： T＝ VT Г ＝ VN∪VT Z0 = S Q = q0 F = φ (用堆栈变空来识别) 由p构造δ函数 Ⅰ：若有A→α，则有δ(q0, λ,A) = (q0,α) Ⅱ：对VT中所有终止符a，有δ(q0,a,a) = (q0,λ) 例7：G={VN=(S,A),VT=(a,b,c,d), p, S} P: S→cA, A→aAb, A→d 构造 MP = (T,Q,δ,q0, Z0 ,F, Г ) Q = q0 T＝ VT＝{a,b,c,d} Z0= S Г＝VN∪VT=(S,A,a,b,c,d) F = Φ (由堆栈变空来识别) S→cA , 则δ(q0, λ,S) = (q0, cA ) A→aAb, 则δ(q0, λ,A) = (q0, aAb ) A→d, 则δ(q0, λ,A) = (q0, d) 上式可合并：δ(q0, λ,A) = {(q0, aAb) , (q0, d) }， δ(q0, λ,S) = (q0, cA ) 对VT： δ(q0, a, a) = (q0, λ )， δ(q0, b,b) = (q0, λ ) δ(q0, c, c) = (q0, λ )， δ(q0, d, d) = (q0, λ ) 短语结构文法 无约束文法 前后有关文法 正规文法 前后无关文法 有限自动机 下推自动机 线性界限自动机 图灵机 无约束 四种文法的关系 前后有关 前后无关 正规 正规文法：受限最多，产生式形式最简单，句法分析实现最容易 前后文无关文法：受限少一些，分析更复杂 但是，从描述模式的能力来说，正规文法最弱，前后文无关型文法则要强得多