龙书第二章课后作业答案.docVIP

P532.8 构建一个语法制导翻译模式，将算术表达式从后缀表示翻译成中缀表示。给出输入95-2*和952*-的注释分析树。（仅供参考 一定要保证转换后的中缀表达式与原后缀表达式的优先级相同） 1 后缀算术表达式的文法如下： expr ( expr expr + | expr expr – | expr expr * | expr expr / |digit digit ( 0 | 1 | 2 | 3 | … | 9 2 将后缀表达式翻译成中缀表达式的语法制导定义（文法+语义规则） 产生式 语义规则 expr ( expr expr + expr.t:= ’(’||expr.t||’+’|| expr.t||’)’ expr ( expr expr – expr.t:= ’ (’||expr.t||’-’|| expr.t||’ )’ expr ( expr expr * expr.t:= ’ (’||expr.t||’*’|| expr.t||’ )’ expr ( expr expr / expr.t:= ’ (’||expr.t||’/’|| expr.t||’ )’ expr ( digit expr.t:=digit.t digit ( 0 digit.t := ‘0’ digit ( 1 digit.t := ‘1’ digit ( 2 digit.t := ‘2’ digit ( 3 digit.t := ‘3’ digit ( 4 digit.t := ‘4’ digit ( 5 digit.t := ‘5’ digit ( 6 digit.t := ‘6’ digit ( 7 digit.t := ‘7’ digit ( 8 digit.t := ‘8’ digit ( 9 digit.t := ‘9’ 3将后缀表达式翻译成中缀表达式的翻译模式（含语义动作的文法） 翻译模式 expr ( {print(‘(’)} expr{print(‘+’)} expr + {print(‘)’)} expr ( {print(‘(’)} expr{print(‘-’)} expr – {print(‘)’)} expr ( expr{print(‘*’)} expr * expr ( expr{print(‘/’)} expr / expr ( digit digit ( 0 {print(‘0’)} digit ( 1 {print(‘1’)} digit ( 2 {print(‘2’)} digit ( 3 {print(‘3’)} digit ( 4 {print(‘4’)} digit ( 5 {print(‘5’)} digit ( 6 {print(‘6’)} digit ( 7 {print(‘7’)} digit ( 8 {print(‘8’)} digit ( 9 {print(‘9)} 4 95-2*和952*-的翻译成后缀形式的语义动作与注释分析树。 P542.18 考虑下面的if-then语句和if-then-else语句的部分文法 stmt ( if expr then stmt | if expr then stmt else stmt | other 其中other代表语言中的其他语句。 a)证明该文法是具有二义性的。 b)构造一个等价的无二义性文法，使得else与前面最近的没有匹配的then匹配。 c)基于该文法构造一个语法制导翻译模式，将条件语句翻译改成堆栈机代码。 a) 二义性证明 根据文法 我们发现 If E1 then if E2 then S1 else S2 有2棵语法树(2个推导方法)如下所示： 所以该文法具有二义性。 b) 等价无二义性文法构造 使else与最近的未被匹配的then 相匹配 stmt ( matched_stmt | unmatched_stmt matched_stmt ( if expr then matched_stmt else matched_stmt | other unmatched_stmt ( if expr then stmt | if expr then matched_stmt else u