编译原理复习资料1讲课稿Word文件下载.docx

1、） = $，Follow（S） = $, a，Follow（A） = $, a；SLR（1）分析表见下面左边。该表无冲突，所以该文法是SLR（1）的。状态动作转移 a $ S A 0 s3 1 2 1 s3 acc 4 2 r2 r2 3 r3 r3 r1 r14、用SLR（1）文法能定义的语言集合、用LR（1）文法能定义的语言集合和用LALR（1）文法能定义的语言集合之间有什么关系？用SLR（1）文法能定义的语言集合 用LALR（1）文法能定义的语言集合，用LALR（1）文法能定义的语言集合 用LR（1）文法能定义的语言集合。5、下面是int i, j, k这样的类型声明的两种不同语法： D

2、 T L D T L T int | real T int | real L L , id | id L id , L | id如果用LL（1）分析方法，应该选择哪个文法？如果用某种LR分析方法，选择哪个文法更好？简要说明理由。对于LL（1）分析方法，两个文法都不合适，左边的文法是左递归的，右边文法有公共左因子。修改右边文法来适应LL（1）分析的要求，相对来说比较容易一些，因为只要提公共左因子。对于LR的各种分析方法，两个文法都适用，但是采用左边的文法更好一些。用左边的文法时，分析器一边扫描一边归约，占用分析栈的空间较少。而用右边的文法时，分析器要把所有的标识符都移进栈后才进行归约，因此使用较

3、多的分析栈空间。（结合语法制导的翻译，采用左边的文法还有好处：便于确定T的类型属性在栈中的位置。）6、在C语言中，3+和（ id + id ）+这样的表达式被编译时，编译器都会报告如下的错误： invalid lvalue in increment说明左值不能为数值或表达式。现有如下简化的C语言表达式文法： E E + E | （ E ） | E + | id | num请写一个语法制导定义或翻译方案，检查+的运算对象是否合法。给非终结符E一个综合属性v，其值可取lvalue或rvalue，分别表示E是左值标识符和右值表达式，那么语法制导定义如下（无输出则表示无错）： E E E E1 + E

4、2 E.v := rvalue E （ E1 ） E.v := E1.v E E1 + if E1.v = rvalue then printf（“invalid lvalue in increment”）;E.v : E id E.v := lvalue E num E.v :7、 E E+T | T T num.num | num给出一个语法制导定义以确定每个子表达式的类型int/real。E E1+T if （ E1.type=real or T.type=real ） then E.type=real else E.type=integer E T E.type = T.type; T

5、 num.num T.type = real; T num T.type = integer;8、把下列C语言程序的可执行语句翻译为： main（） int i; int a10; while （i=10） ai = 0; （a） 三地址代码（b） 后缀式（a） L0: if i=10 goto L1 goto L2 L1: ai:=0 goto L0 L2:（b） 后缀式：i 10 = ai 0 assign while9、 试构造下面的程序的流图，并找出其中所有回边及循环。 read P x := 1 c := P * P if c 100 goto L1 B := x + 1= B +

6、x write x halt B:= 10= x + 2 write B if B n2，所以 n5 - n2为一条回边。根据它求出的循环 L1 = n2, n5, n3, n4。 因为D（n6） = n0, n1, n2, n5, n6 ，且 n6 - n1，所以n6 - n1为一条回边。根据这条回边，求出的循环 L2 = n6, n1, n5, n3, n4, n2。11、 考虑下面求矩阵A、B成绩的程序片段：BEGIN FOR i := 1 TO n DO FOR j : FOR k = 1 TO n DO ci, j := ci, j + Ai, k * Bk, jEND（1） 假定对

7、数组A、B、C采用静态存储分配，每个字占用4个字节，存储器以字节为单位编址。给出该程序的三地址代码序列。（2）构造该程序相应的流图。（3）删除流图中各基本块内的公共子表达式（4）指出流图中所有回边及其相应循环，并且进行循环优化。（1）设数组元素按行存放，A、B、C数组都是 n*n 的二维数组，各维的下界均为0，每个元素占一个字（4个字节），则数组元素（如Ai, j）的地址计算公式为：D（Ai, j） = addr（A） + （i - 0） * n + （j - 0） * 4 = addr（A） + 4 * （ i * n + j ） 该程序的三地址代码序列被划分成基本块后如下：（2）程序流图如

8、下：（3）仅基本块B7中有公共子表达式，删除公共子表达式后基本块B7变换成：（4）根据（2）的程序流图，每个结点的控制结点集如下： D（B1） = B1 D（B2） = B1, B2 D（B3） = B1, B2, B3 D（B4） = B1, B2, B3, B4 D（B5） = B1, B2, B3, B4, B5 D（B6） = B1, B2, B3, B4, B5, B6 D（B7） = B1, B2, B3, B4, B5, B6, B7 D（B8） = B1, B2, B3, B4, B5, B6, B8 D（B9） = B1, B2, B3, B4, B9 根据回边 B7 - B

9、6，循环L1为： L1 = B7, B6 根据回边 B8 - B4，循环L2为： L2 = B8, B6, B7, B5, B4 根据回边 B9 - B2, 循环L3为： L3 = B9, B4, B5, B6, B7, B8, B3, B2 经循环优化后三地址代码序列变为:12、 试求出如下四元式程序中的循环并进行循环优化. I : read J, K L: A := K * I= J * I C := A * B write C= I + 1 if I B2，相应的循环是B2。（1）代码外提：由于循环中没有不变运算，故不做此项优化 （2）强度削弱：B2中A和B都是I的归纳变量。优化结果显示在图9.4（2）中。（3）删除归纳变量：变换循环控制条件，删除归纳变量I后的流图显示在图9.4（3）中 13、下面是应用筛法求2到N之间素数的程序： begin read N; for i := 2 to N do Ai := true; /*置初值*/= 2 to N*0.5 do /*运算符*代表幂乘*/ if Ai then /*i是一个素数*/ for j := 2 * i to N by