编译技术教学课件作者陈文宇04课件幻灯片.pptVIP

示例的SLR (1)分析表 对输入串i+i*i#的SLR (1)分析过程 2008年2月28日止 * 0229 * 0227 * 0320 * 0324 * 0331 LR分析的组成 一个LR分析器由3个部分组成： (1)总控程序，也可以称为驱动程序。对所有的LR分析器总控程序都是相同的。 (2)分析表或分析函数，不同的文法分析表格不同，同一个文法采用的LR分析器不同时，分析表将也不同，分析表又可分为动作表(ACTION)和状态转换(GOTO)表两个部分，它们都可用二维数组表示。 (3)分析栈，包括文法符号栈和相应的状态栈，它们均是先进后出栈。 分析器的动作就是由栈项状态和当前输入符号所决定(LR(0)分析器不需向前查看输入符号)。 LR分析器的工作过程图 ACTION[Si，a]的状态 (1)移进： 把Sj＝GOTO[Si，a] 移入到状态栈，把a移入列文法符号栈。其中i，j表示状态号。 (2)归约： 当在栈顶形成句柄为?时，则用?归约为相应的非终结符A，即文法中有A→?的产生式，若?的长度为r(即| ? |＝r)，则从状态栈和文法符号栈中自栈顶向下去掉r个符号，即栈指针SP减去r。并把A移入文法符号栈内， Sj＝GOTO[Si，A] 移进状态栈，其中Si为修改指针后的栈顶状态。 (3)接受acc： 当归约到文法符号栈中只剩文法的开始符号S时，并且输入符号串已结束即当前输入符是‘#’，则为分析成功。 (4)报错； 当遇到状态栈顶为某一状态下出现不该遇到的文法符号时，则报错，说明输入串不是该文法能接受的句子。 移进-归约分析的思想示例 可归前缀与活前缀 活前缀和可归前缀的计算方法 项目集规范族 识别活前缀的FA LR（0）文法 分析表的构造 分析器的工作过程 LR（0）分析法 移进-归约分析的思想示例 步骤 符号栈 输入符号串 动作 1） # abbcde# 移进 0 S2 2） #a bbcde# 移进 02 S4 4） #aA bcde# 移进 023 S6 6） #aA cde# 移进 023 S5 7） #aAc de# 移进 0235 S8 9） #aAcB e# 移进 02357 S9 11） #S # 接受 01 acc 对输入串abbcde#的LR分析过程 3） #ab bcde# 归约(A→b) 024 r2 3 5） #aAb cde# 归约(A→Ab) 0236 r3 3 8） # aAcd e# 归约(B→d) 02358 r4 7 10） #aAcBe # 归约(S→aAcBe) 023579 r1 1 状态栈 ACTION GOTO 文法G[S]：(1) S → aAcBe(2) A → b(3) A → Ab(4) B → d Si:移进，并将状态i进栈 ri:用第i个产生式归约，同时状态栈与符号栈退出相应个符号，根据GOTO表将相应状态入栈 可归前缀与活前缀 定义： S’ ?A? ???是文法G中的一个规范推导，如果符号串?是??的前缀，则称?是G的一个活前缀。 即?是规范句型???的前缀，但它的右端不超过该句型句柄的末端。这里S’为对原文法G加了产生式S’→S（G的识别符号）后形成的增广文法G’的识别符号。 一个句型的某个前缀的后缀是该句型的句柄，则这个前缀称为该句型的可归前