编译原理作业4解答.docVIP

4.1 对下面文法，设计递归下降分析程序。 S→aAS| A , A→Ab|c 首先将左递归去掉，将规则 A→Ab|c 改成 A→c b 4.2 设有文法G[Z]： Z∷ A , A∷ a|Bb , B∷ Aab 若采用递归下降分析方法，对此文法来说，在分析过程中，能否避免回溯？为什么？ 若采用递归下降分析方法，对此文法来说，在分析过程中不能避免回朔。 规则 A: : a|Bb , FIRST a a , FIRST Bb a , 即此规则候选式的首符号集有相交，需要通过规则带入使候选式的第一个符号相同，然后提取公因子。但通过规则带入后最后一个候选式总是以B开头，而FIRST B a , 所以无法提取出a, 候选式的首符号集总是相交。但可将B规则代入A规则得：A∷ a|Bb 转换成A∷ a abb 即可避免回溯。 4.3 若有文法如下，设计递归下降分析程序。 → |ε →Id ； → | + | - → | * | / →ID|NUM| 去掉左递归，将规则 → |ε改为 → ， FIRST ID → | + | - 改为 → （+ | -） → | * | / 改为 → （* | /） 语句的分析程序 INPUTSYM ’ ’ Y 非终结符号S的分析程序 过程A 过程S 过程A 错误 错误 出口 N N Y INPUTSYM 下一个符号 INPUTSYM ’ ’ Y INPUTSYM 下一个符号 INPUTSYM ’ ’ N Y INPUTSYM 下一个符号 INPUTSYM ’a’ 过程S Y INPUTSYM 下一个符号 N 错误 INPUTSYM ’ID’ 赋值语句 赋值语句 Y N 出口 INPUTSYM ’ID’ 语句 INPUTSYM 下一个符号 出口 错误 N INPUTSYM ’b’ Y INPUTSYM 下一个符号 INPUTSYM ’c’ 过程A N 错误 Y INPUTSYM 下一个符号 表达式 出口 赋值语句的分析程序 复值语句的分析程序 出口 N Y INPUTSYM 下一个符号 表达式的分析程序 N INPUTSYM ’-’ 项的分析程序 Y N Y INPUTSYM ’+’ 表达式 项 因子 出口 Y INPUTSYM 下一个符号 INPUTSYM ’/’ N INPUTSYM ’*’ 项 项 因子 INPUTSYM ’ID’ Y 出口 INPUTSYM ’NUM’ INPUTSYM 下一个符号 N N Y INPUTSYM ’ ’ INPUTSYM 下一个符号 Y 表达式 INPUTSYM ’ ’ 错误 N Y 错误 因子的分析程序 非终结符号A的分析程序 N