编译原理——编译程序构造实践教程 张幸儿 戴新宇 202编译程序构造与实践教程第二章新.pptVIP

2.3 句型分析2.3.1 句型分析与语法分析树 句型分析：关于某个文法，识别一个输入符号串是否其句子的过程称为句型分析。 对于程序设计语言，句子是程序，句型分析的问题就是识别输入符号串是否是语法上正确无误的程序。   为了有利于句型分析，引进一种辅助工具?语法分析树，简称语法树。语法分析树是句型分析的好工具。  从该语法分析树可明显看出：Nanjing是名词作主语, is是系动词，与后面的表语构成复合谓语，等等。 可写出相应的文法规则如下： 句子::=主语复合谓语 主语::=名词 名词::=Nanjing |Hangzhou |Beijing |city 复合谓语::=系动词表语 系动词::=is | was 表语::=冠词形容词名词 冠词::=a | an |the 形容词::=beautiful | great |wonderful 构造方向 自顶向下分析：不断进行直接推导的过程 。 2.4 语法分析树的计算机生成 首先结合例子考察语法分析树应有怎样的数据结构，然后再考虑怎样构造。 例 设文法G[E]： E::=E+T|E-T|T T::=T*F|T/F|F F::=(E)|i输入符号串是i-i*i，推导如下： E=E-T=T-T=F-T=i-T=i-T*F =i-F*F=i-i*F=i-i*i可构造语法分析树如右： 确定每个结点在语法分析树中的位置，包括各个结点之间的相互关系，便确定了语法分析树, 因此为语法分析树结点可设计如下的数据结构:结点序号 文法符号序号 父结点序号 左兄结点序号 右子结点序号 用C语言实现语法分析树的数据结构如下： typedef struct{ int 结点序号； int 文法符号序号； int 父结点序号； int 左兄结点序号； int 右子结点序号；} 结点类型；结点类型 语法分析树[MaxNodeNum];  构造语法分析树的步骤如下: 步骤1 以识别符号Z建立根结点，序号为1，且以这仅包含一个非终结符号的句型Z作为当前句型。 步骤2 从当前句型中找出最左的非终结符号U，显示以U为左部的一切重写规则，根据所给的输入符号串，选择其中的一个规则U::=X1X2…Xm,以U为分支名字结点，以X1X2…Xm作为分支结点符号串，构造分支。建立父子兄弟结点关系。 步骤3 重复步骤2，直到当前句型中不再包含非终结符号，语法分析树构造结束，最终的语法分析树为所求。 句型的存储可考虑用数组实现。 2.2.3 文法和语言的分类 1. Chomsky文法类与语言类 对文法四要素概括与抽象。 定义：Chomsky文法G=（VN, VT, P, Z) 其中: VN VT P Z 文法及例： L={ aibjck | i,j,k≥1} G[S]: S::=Sc |Bc B::=Bb |Ab A::=Aa |a G[S]: S::=ABC A::=Aa |a B::=Bb |b C::=Cc |c G1= ( VN, VT, P1, S1 ) VN={S1, A, B} VT={a, b, c} P1: S1::=S1c| Bc B ::=Bb | Ab A ::=Aa | a L(G1)={ ai bj ck | i, j, k≥1} G2= ( {S2, A}, {a, b, c}, P2, S2 ) P2: S2::=S2c | Ac A ::=aAb | ab L(G2)={ ai bi ck | i, k≥1} G3=( {S3, B, C, D}, {a, b, c}, P3, S3 ) P3: S3 ::=abC | aS3BC