6_语法制导翻译和中间代码生成4.0.ppt

如 IF A∨B THEN WHILE C DO X:=Y+Z ELSE S1,S2 END 识别出IF,则认定有E,对E编一递归过程，要做到： 把A∨B消化掉，产生相应的四元式 算出语义值，送到E.TC和E.FC中 回填E.TC,即真转出口 识别出THEN,认定是一个语句S,此S是一递归过程。 把WHILE语句消化掉，产生相应的四元式。 把S的不能确定内容作为S.CHAIN 识别ELSE,认定还必须是一个S,完成S的翻译。 S(2)的翻译 E.FC返填 三流合一，作为返回 S(2) 自上而下表现值，确定了一个大前提，可以在产生式中间调用语义程序 在规约过程中，编出四元式 所有子程序，要递归 子程序的返回值是语义值 关于如何把语义程序套进递归下降器中，参看书上的两个例子。 早期的编译程序中，语法分析和语义翻译往往混杂在一起。把语法分析和语义翻译分开不仅可使语法分析形式化和自动化，而且可使整个编译程序的结构更合乎逻辑和更加系统化。语法制导翻译技术就是为这个目标而生的。该方法在六十年代初出现之后很快就得到了推广应用。 最早使用语法制导翻译法来设计编译程序的是埃仁。语法制导翻译法由于埃伊柯尔、奇塔姆和菲尔德曼等人的工作而迅速传播开来。在理论方面，早期有刘易斯等人。 1 程序设计语言—编译原理