第三章第一讲推导树与二义性.ppt

第三章上下文无关文法与下推自动机第一讲关于上下文无关文法的推导树及设计技术 定义6：对0型文法G=(N,T,P,S)做如下限制： 生成式P中的生成式均满足如下形式： A→α，且 A∈N，α∈(N∪T)* , 则称G为2型文法（或上下文无关文法）。 例：设文法G=(N,T,P,S)，其中： N={S,B,C}, T={0,1} , 生成式P如下： S→0C , S→1B , B→0 , B→0S , B→1BB , C→1 , C→1S , C→C0C , C→CC1 这显然是一个上下文无关文法。 重要回顾： 一、推导树 1、推导树的定义 作用：用推导树可以表示一个上下文无关文法的句型或句子的推导过程，从而可以利用推导树对上下文无关文法的某些特性进行相关的研究和讨论。 特点：推导树的根节点的标记是文法的起始符,其他分支节点的标记是非终结符,叶子节点的标记是终结符或ε。 定义：设D是上下文无关文法G=(N,T,P,S)的推导树，该树是有标记的有序树，且满足： (1) D的根节点的标记是文法G的起始符S； (2) D的分支节点的标记是文法G的非终结符； (3) D的叶节点的标记是文法G的终结符或ε； (4) 如果标记为A的分支节点有直接子孙X1,X2,...Xi，