编译方法马知行曹启君机械工业发行社编译原理演示文稿2.pptVIP

例：G[S]:S→aAcBe A→b A→Ab B→b 识别输入符号串abbbcbe 栈 输入符号串 a bbcde ab bcde aA bcde aAb cde aA cde aAc de aAcb e aAcB e aAcBe S 定义 2.25 设G[S]是一个文法，xuy 是文法G的一个句型，如果有S=*=xUy =+= xuy 则称u是句型xuy相对于非终结符U的短语、特别是，如果有U→u则称u是句型xuy相对于规则 U→u的简单短语。 上述定义的意思为某一句型中的子符号串归约后的符号串仍为句型 即S=*= xUy =+= xuy 定义 2.26 一个句型的最左简单短语称为该句型的句柄。 例：写出G[N]: N→A A→AD|D D→0|1|2|3|4|5|6|7|8|9 中的句型AD3的短语、简单短语和句柄 N = AD = ADD = AD3 短语： 3 AD AD3 简单短语： AD 3 句柄(最左简单短语) AD 而A、 D 3不是短语. 每次归约句柄的归约方式，称为规范归约，归范归约又称最左归约，它是最右推导的逆过程（其分析过程中均为右句型）。 在规范归约中，由于每次归约的是句柄，所在句柄后面不会出现非终结符号，基于这一点，在采用的所谓移入归约法中，在移入归约过程中，一旦发现句柄即可用规则的左部替换，这种方法犹如“剪句柄”。归约过程实质上也是语法树的构造过程。 也可以由语法树的特性来求短语、简单短语及句柄： 步骤: （1）画出所求句子(型)的语法树(整个推导) （2）找出该语法树的所有子树 （3）每一子树的叶结点(从左往右)序列表示一个短语（4）高(深)度为1的子树的叶结点(从左往右)序列表示一个简单短语 （5）最左的高(深)度为1的子树的叶结点(从左往右)序列表示一个句柄(最左简单短语) 例：设G[S]： S→AB A→aAb|ab B→cBd|cd 求出句子abccdd的短语,简单短语和句柄： S=AB=AcBd=Accdd=abccdd 其构造语法树如下： 短语:abccdd, ab, ccdd, cd. 简单短语:ab, cd’ 句柄:ab. 例：G[E]:E→E+T|T T→T*F|F F→(E)|i 试求出句子i+i*i+i的短语、简单短语和句柄 故短语为： i+i*i+i , i+i*i , i , i*i , i , i , i . 简单短语为: i , i , i , i . 句柄为: i . 例:设有文法G[整数]: 整数→正负号无符号整数|无符号整数 正负号→+|- 无符号整数→无符号整数数字|数字 数字→0|1|2|3|4|5|6|7|8|9 试推导出2012 整数=无符号整数=无符号整数数字= 无符号整数数字数字=无符号整数数字数字数字=数字数字数字数字=2数字数字数字=20数字数字=201数字=2012 定义 2.15 若文法G存在直接推导的序列 V=α0=α1=α2=α3=α4···=αn=W(n0) 则称V推导出W， 或称W归约到V，记作V=+=W, 其中n为推导的步数，也称推导长度,称V +推导出W。 例：整数=+=2012 定义 2.16 如果对于符号串V和W有V=+=W或V=W 即(n≥0)则记作V=*=W，称V *推导出W. 例: 对文法G[整数]有: 整数=*=2006 例: 对文法G[整数]有: 整数=*=整数 定义2.17 设G[S]是一文法， 若α∈V*且有S=*=α，则称α为文法G[S]的一个句型； 若α∈Vt*且有S=+=α ，则称α为G[S]的一个句子。 可见句子是句型的特例 例: 设有文法G[整数]: 整数→数字串 数字串→数字串数字|数字 数字→0|1|2|3|4|5|6|7|8|9 显然0000、2012、1234、数字串数字数字都是G[整数]文法的句型 ，其中0