第六章 上下文无关文法【荐】.pdfVIP

第六章上下文无关文法 第6 章习题： 题1，题3 ，题11，题12，题13，题14，题16 第六章上下文无关文法 上下文无关文法 相关概念 2 上下文无关文法 标识符、整数、实数 等符号串的词法规则 问题提出： 1、正则语言描述模型能力有限，无法描述高级程序设计语言表达式中 “ 良嵌套”的括号对、( begin … end ) 以及HTML 中标记对x…/x 等 配对符号序列的语法规则。 例如， 描述L （G ）= { (n1 )n1 (n2 )n2 …(nk )nk } 的文法 G：S → S （S ）| ε 2、高级程序设计语言语法结构绝大多数都用上下文无关文( CFG ) 描述。 上下文无关文法 定义6-1 ： 对于所有产生式A →β，均有| β| ≥| A |，并且，A ∈V, β∈ ( V∪T )∗ ，文法G = （V ，T，P，S）被称为上下文无关文法。 特点：对于所有A ∈V ，如果A →β ∈P，则无论A 出现在句型的 什么位置，都可以用β替换A ，无需考虑A 的上下文。 例如，设文法G = S →AB ，A →aA | a，B →bB | b ； 对于任意n ≠m，有anbm ∈L(G)，A 产生a 的个数不受B 产生b 的个数的限制。 上下文无关文法 L( G1 )= { w ∈{ 0, 1 }* | w = wT } 。 T * 例：构造上下文无关文法G，使L( G )= { ww | w ∈{ 0, 1 } } 。 句子结构特征-字符串及其逆： 按递归定义定义文法： 1、句子从中间分为两个部分： 由基础语句： W = a1a2…an, WT = an…a2a1 S→ ε WWT = a1a2…anan…a2a1 由归纳语句： 2、递归定义语言： S→0S0 | 1S1 a) ∀a ∈{ ε} , a ∈L; b) 如果x ∈L, 则∀a ∈{ 0, 1 }, 故有, G = ( {S}, { 0, 1 }, P, S ) a x a ∈L ； P ：S → 0S0 | 1S1 | ε c) 所有满足a) b) 的字符串属于L 。 上下文无关文法 定义6-2： 设有CFG G = （V, T, P, S ），G 的派生树是满足如下条件的有序树： 1、树的每个节点都有一个标记X ，X ∈V ∪T ∪ε。 2、树的根节点的标记为S。 3、如果X 是一个非叶节点的标记，则有X ∈V 。 4、如果一个非叶节点v 的标记为A ，v 的子节点从左到右依此为v1, v , …, v , 并且，它们分别标记为X ,X , …, X ，则有A→X , X , …, X 2 n 1 2 n 1 2 n ∈P 。 5、如果一个节点v 标记为ε，则v 是该树的叶节点，并且，v 是其父 节点的唯一子节点。