在前面已经介绍了编译程序构造的二个重要阶段即词法分.pptVIP

G[S]：L→LSS1L→SLS→S综上所述，其产生式和语义动作为：产生式语义动作S→beginLend{S.chain:=L.chain;}L→LSS{L.chain:=S.chain;}L→S{L.chain:=S.chain;}LS→L;{backpatch(L.chain,nextstat);}4.赋值语句设有赋值语句的文法为：G[S]：S→A由于赋值语句归约成语句时，它的四元式代码已全部产生，可以不产生任何动作,但为了在控制语句和非控制语句merge函数合并时不会产生没有S.Chain属性的错误,故为此添加了相应的语义动作：产生式语义动作S→A{S.chain:=null;}D→R]ofreal{dim(R.dim);type(R.table,real);conspart(malloc(R.V*byte(real)-R.C)}R→R1,l..u{R.dim:=R1.dim+1;d:=u-l+1;R.C:=R1.C*d+l;R.V:=R1.V*d;R.table:=R1.table;fillin2(R.table,l,u);}R→L:array[l..u{R.dim:=1;R.C:=l;R.V:=u-l+1;R.table:=L.table;fillin2(R.table,l,u);}L→L1,i{L.table:=L1.table;add(L.table,i)}L→i{L.table:=build(i);}记录或结构是由一些已知类型组成的复合的数据类型。C语言中的类型文法如下：类型→struct{成员表}|char|int|real|pointer成员表→成员表;成员|成员成员→类型i|类型i[下标表]下标表→下标表,n|n其中：n为常量,fillin3(i，offset)表示将当前记录中成员标识符i的符号表，填写相对位移值为offset,属性len表示该文法符号的长度，即字节数。属性offset表示相对位置。对于第一个成员的相对位置为0。其语义处理子程序如下：类型→struct{成员表}{类型.len:=成员表.offset}类型→char{类型.len:=1}类型→int{类型.len:=2}类型→real{类型.len:=4}类型→pointer{类型.len:=4}成员表→成员表1;成员{fillin3(成员.name，成员表1.offset);成员表.offset:=成员表1.offset+成员.len;}成员表→成员{fillin3(成员.name，0)；成员表.offset:=成员.len}成员→类型i{成员.name:=i;成员.len:=类型.len}成员→类型i[下标表]{成员.name:=i;成员.len:=类型.len*下标表.V}下标表→下标表1,n{下标表.V:=下标表1.V*n}下标表→n{下标表.V:=n}注意在这里没有考虑某些机器中对于起始地址必须是偶地址的问题，但对上述翻译稍作修改亦可解决。对于C中的union类型，它们将不同的数据类型分配在同一存储空间中，需用一个标记来描述当前使用的是何种类型。同样Pascal中的变体部分也需类似的方法解决。4.过程或函数的说明语句的翻译过程或函数的说明语句的翻译的处理稍为复杂，由于一些过程和函数允许递归，这样每进入一次过程或函数需分配一次内存，因此在处理过程或函数内的其它说明语句时，只要分配每个标识符的相对位置以及求出进入该过程或函数所需的空间总长度。处理过程或函数体时，首先要生成申请所需的存储空间的代码，其次生成过程或函数体的代码(包括入栈和出栈所需的指令)。另外在处理过程说明时，还要注意同名标识符在不同层次应翻译成不同的对象，即注意标识符的作用域或可视性。例如Pascal程序段：programexample(input,output);varx,y:integer;procedurechange1;vary:integer;beg