北航 计算理论 第一章 文法与语言.pptxVIP

计算理论 第三章 文法与语言 上下文无关语言 上下文无关文法定义： G(V, T, P, S), P中的产生式形如: A . A∈V，(VT)*. 例： 上下文无关文法G = ( V, T, P, S), 其中： V={S}, T={a, b}, P={S aSb, Se} 上下文无关文法 识别：对给定的字符串是否能由文法的开始符和产生式推导出。 例：上例中的文法G，是否能识别字符串aaaebbb. 语法树 二义性 E  I E  E + E E  E * E E  （E） I  a a + a * a E  T | E + T T  F | T* F F  I | （E） I  a 有些可手动消除；无自动消除算法 有些甚至是不可消除的。 上下文无关文法 乔姆斯基范式 如果一个上下文无关文法中产生式形如： A  BC 或 A  a ， 其中aT，A,B,CV，且B,C不允许是文法的开始符，允许有空产生式S （S是文法的开始符），则称该文法为乔姆斯基范式。 上下文无关文法 定理： 任一上下文无关文法都可等价转换为乔 姆斯基范式形式。 范式是二叉树形式，对于任意给定的串，将非终极符为树枝，终极符为树叶，则该串可以认为是树，根据树的理论，可以将任何树转换为二叉树。 上下文无关文法 证明： 替换开始符S。 增加一个新开始符S’和新产生式S’ S。 消除空产生式A  。 对所有A的出现产生式形如R  A，增加产生式R 。 上下文无关文法 若有R A，增加R  ，重复前一动作。上下文无关文法 消除单元产生式A  B。 对所有B的出现产生式形如B  ，增加产生式 A。 替换：对A  u1 u2 …un，n3。 替换为A  u1A1，A1  u2 …un，n3。 对A1  u2 …un，继续前一动作。 上下文无关文法 上下文无关语言 上下文无关文法G(V,T,P,S)生成的语言： L(G) = {ω|ω∈T*且S +ω} 上下文无关语言的识别 对文法G(V,T,P,S)，任给串ω∈T*，S +ω成立否。 上下文无关文法 相关定义：ω＝x1x2…xn ωij ：ω的子串ωij = xi…xi+j-1 ，ji，jn，i表示子串的起始位置，j表示串的长度。 如： ω11=x1 ，ω21=x2，…，ωi1=xi … ω1n=x1x2…xi…xi+j-1…xn=ω 上下文无关文法 Vij： Vij={A|A * ωij}，该集合中的任何一个非终极符均可以推导出ωij。 如：V11={A|A + ω11}={A|(A x1)∈P} … Vj1={A|(A Xj)∈P} … Vn1={A|(A Xn)∈P} 上下文无关文法 识别算法：对字符串ω＝x1x2…xn 若n＝1，判断S x1是否在该文法的P中； 若n ≥2，判断（SBC）P，且BC+ ω； 即存在k（k≥1，k≤n-1），有： B + ω1k，C + ω(k+1)(n-k) 求Vij ={A|(A  BC)∈P，且B∈Vik，C∈V(i+k)(j-k)},其中k0，kj；简记为Vij＝{ Vik V(i+k)(j-k)}。 判断S∈V1n，是则说明ω能被文法G识别。 上下文无关文法 三角形法求Vij ： V11 V21 … Vi1 … … Vn1 V12 V22 … Vi2 … … V(n-1)2 … … … … … … V1j V2j … Vij … V(n-i+1)j … … … … … V1n for i :=1 to n do Vi1 := { A| (A Xi)∈P, Xi∈T}; for j :=2 to n do for i :=1 to n-j+1 do Vij :=Φ; for k :=1 to j-1 do Vij :=Vij∪{A| (ABC)∈P, B∈Vik,