编译原理教程课后习题答案——第六章
《编译原理》(陈火旺版)课后作业参考答案ch6-10
第6章属性文法和语法制导翻译7. 下列文法由开始符号S产生一个二进制数，令综合属性val给出该数的值：试设计求的属性文法，其中，已知B的综合属性c, 给出由B产生的二进位的结果值。
例如，输入时，=，其中第一个二进位的值是4，最后一个二进位的值是。
【答案】11. 设下列文法生成变量的类型说明：(1)构造一下翻译模式，把每个标识符的类型存入符号表；参考例。
【答案】第7章语义分析和中间代码产生1. 给出下面表达式的逆波兰表示（后缀式）：【答案】3. 请将表达式－(a+b)*(c+d)-(a+b+c)分别表示成三元式、间接三元式和四元式序列。
【答案】间接码表：(1)→(2)→(3)→(4)→(1)→(5)→(6)4. 按节所说的办法，写出下面赋值句A:=B*(－C+D) 的自下而上语法制导翻译过程。
给出所产生的三地址代码。
【答案】5. 按照7.3.2节所给的翻译模式，把下列赋值句翻译为三地址代码：A[i, j]:=B[i, j] + C[A [k, l]] + d[ i+j]【答案】6. 按7.4.1和节的翻译办法，分别写出布尔式A or ( B and not (C or D) )的四元式序列。
【答案】用作数值计算时产生的四元式：用作条件控制时产生的四元式：其中：右图中(1)和(8)为真出口，(4)(5)(7)为假出口。
7. 用7.5.1节的办法，把下面的语句翻译成四元式序列： While A<C and B<D do if A=1 then C:=C+1 else while A ≦D do A:=A+2; 【答案】第9章 运行时存储空间组织4. 下面是一个Pascal 程序：当第二次( 递归地) 进入F 后，DISPLAY 的内容是什么当时整个运行栈的内容是什么 【答案】第1次进入F 后，运行栈的内容： 第2次进入F 后，运行栈的内容： 109 87 6 5 4 3 2 1 017 1615 14 13 12 11 10 9 8 7 6 5第2次进入F 后，Display 内容为：5. 对如下的Pascal 程序，画出程序执行到(1)和(2)点时的运行栈。
编译原理及其习题解答(武汉大学出版社)课件chap6
练习1题目 练习 题目
文法G[T]: T→ F | T*F F →F ↑ P | P P→ (T) | i 证明T*P ↑(T*F)是文法G的一个句型，并 指出这个句型的所有短语、直接短语、 句柄。
编译原理 Compiler Principles
练习１ 练习１解答
证明：T T*F T*F↑P T*F↑(T) 语法树： T T * F P F ↑ ( P T )
编译原理 Compiler Principles
练习2题目
设有文法G[S]: 设有文法 S →V1 V1→ V2 | V1iV2 V2→ V3 | V2+V3 V3→ )V1* | ( (1)给出 (+(i( 的最右推导，并画出相应的语法树； 给出 的最右推导，并画出相应的语法树； (2)证明 2+V3i( 是文法的一个句型，并指出这个句型的短语、直接 证明V 是文法的一个句型，并指出这个句型的短语、 证明 短语、句柄。 短语、句柄。
编译原理 Compiler Principles
非确定的自下而上的分析器
非确定的自下而上的分析器，是一般移进 归约方法 非确定的自下而上的分析器，是一般移进-归约方法 的抽象模型，可识别任何上下文无关语言。 的抽象模型，可识别任何上下文无关语言。给定一个上下 文无关文法，可构造一个自下而上的分析器。 文无关文法，可构造一个自下而上的分析器。 非确定的自下而上的分析器与非确定的自上而下的分 析器的不同之处： 析器的不同之处： 课本P147 课本
编译原理 Compiler Principles
自下而上分析法存在的问题
可归约串的问题；（∵ 该分析的每一步就是从当前串中找一 ；（∵
个子串（ 个子串（称“可归约串”），将它归约到某个非终结符号） 可归约串”），将它归约到某个非终结符号） 将它归约到某个非终结符号 自下而上分析法的关键就是找哪个子串是“可归约串” 自下而上分析法的关键就是找哪个子串是“可归约串”， 关键就是找哪个子串是 哪个不是“可归约串” 例如上例中的(3) 哪个不是“可归约串”。例如上例中的
《编译原理》课后习题答案
第7 题证明下述文法G[〈表达式〉]是二义的。
〈表达式〉∷=a|(〈表达式〉)|〈表达式〉〈运算符〉〈表达式〉〈运算符〉∷=+|-|*|/答案：可为句子a+a*a 构造两个不同的最右推导:最右推导1 〈表达式〉=>〈表达式〉〈运算符〉〈表达式〉=>〈表达式〉〈运算符〉a=>〈表达式〉* a=>〈表达式〉〈运算符〉〈表达式〉* a=>〈表达式〉〈运算符〉a * a=>〈表达式〉+ a * a=>a + a * a最右推导2 〈表达式〉=>〈表达式〉〈运算符〉〈表达式〉=>〈表达式〉〈运算符〉〈表达式〉〈运算符〉〈表达式〉=>〈表达式〉〈运算符〉〈表达式〉〈运算符〉a=>〈表达式〉〈运算符〉〈表达式〉* a=>〈表达式〉〈运算符〉a * a=>〈表达式〉+ a * a=>a + a * a第8 题文法G[S]为：S→Ac|aB A→ab B→bc该文法是否为二义的？为什么？答案：对于串abc(1)S=>Ac=>abc (2)S=>aB=>abc即存在两不同的最右推导。
所以，该文法是二义的。
或者：对输入字符串abc，能构造两棵不同的语法树，所以它是二义的。
第9 题考虑下面上下文无关文法：S→SS*|SS+|a(1)表明通过此文法如何生成串aa+a*，并为该串构造语法树。
(2)G[S]的语言是什么？答案：(1)此文法生成串aa+a*的最右推导如下S=>SS*=>SS*=>Sa*=>SS+a*=>Sa+a*=>aa+a*(2)该文法生成的语言是：*和+的后缀表达式，即逆波兰式。
第10 题文法S→S(S)S|ε(1) 生成的语言是什么？(2) 该文法是二义的吗？说明理由。
答案：（１）嵌套的括号（２）是二义的，因为对于（）（）可以构造两棵不同的语法树。
第11 题令文法G[E]为：E→T|E+T|E-T T→F|T*F|T/F F→(E)|i证明E+T*F 是它的一个句型，指出这个句型的所有短语、直接短语和句柄。
编译原理第三版课后习题答案
编译原理第三版课后习题答案编译原理是计算机科学中的一门重要课程，它研究的是如何将高级程序语言转换为机器语言的过程。
而《编译原理》第三版是目前被广泛采用的教材之一。
在学习过程中，课后习题是巩固知识、提高能力的重要环节。
本文将为读者提供《编译原理》第三版课后习题的答案，希望能够帮助读者更好地理解和掌握这门课程。
第一章：引论习题1.1：编译器和解释器有什么区别？答案：编译器将整个源程序转换为目标代码，然后一次性执行目标代码；而解释器则逐行解释源程序，并即时执行。
习题1.2：编译器的主要任务是什么？答案：编译器的主要任务是将高级程序语言转换为目标代码，包括词法分析、语法分析、语义分析、中间代码生成、代码优化和目标代码生成等过程。
第二章：词法分析习题2.1：什么是词法分析？答案：词法分析是将源程序中的字符序列划分为有意义的词素（token）序列的过程。
习题2.2：请给出识别下列词素的正则表达式：（1）整数：[0-9]+（2）浮点数：[0-9]+\.[0-9]+（3）标识符：[a-zA-Z_][a-zA-Z_0-9]*第三章：语法分析习题3.1：什么是语法分析？答案：语法分析是将词法分析得到的词素序列转换为语法树的过程。
习题3.2：请给出下列文法的FIRST集和FOLLOW集：S -> aAbA -> cA | ε答案：FIRST(S) = {a}FIRST(A) = {c, ε}FOLLOW(S) = {$}FOLLOW(A) = {b}第四章：语义分析习题4.1：什么是语义分析？答案：语义分析是对源程序进行静态和动态语义检查的过程。
习题4.2：请给出下列文法的语义动作：S -> if E then S1 else S2答案：1. 计算E的值2. 如果E的值为真，则执行S1；否则执行S2。
第五章：中间代码生成习题5.1：什么是中间代码？答案：中间代码是一种介于源代码和目标代码之间的表示形式，它将源代码转换为一种更容易进行优化和转换的形式。
编译原理教程课后习题答案——第六章
第六章运行时存储空间组织6.1 完成下列选择题：(1) 过程的DISPLAY表中记录了。
a. 过程的连接数据b. 过程的嵌套层次c. 过程的返回地址d. 过程的入口地址(2) 过程P1调用P2时，连接数据不包含。
a. 嵌套层次显示表b. 老SPc. 返回地址d. 全局DISPLAY地址(3) 堆式动态分配申请和释放存储空间遵守原则。
a. 先请先放b. 先请后放c. 后请先放d. 任意(4) 栈式动态分配与管理在过程返回时应做的工作有。
a. 保护SPb. 恢复SPc. 保护TOPd. 恢复TOP(5) 如果活动记录中没有DISPLAY表，则说明。
a. 程序中不允许有递归定义的过程b. 程序中不允许有嵌套定义的过程c. 程序中既不允许有嵌套定义的过程，也不允许有递归定义的过程d. 程序中允许有递归定义的过程，也允许有嵌套定义的过程【解答】(1) b (2) a(3) d (4) b (5) b6.2 何谓嵌套过程语言运行时的DISPLAY表？它的作用是什么？【解答】当过程定义允许嵌套时，一个过程在运行中应能够引用在静态定义时包围它的任一外层过程所定义的变量或数组。
也就是说，在栈式动态存储分配方式下的运行中，一个过程Q可能引用它的任一外层过程P的最新活动记录中的某些数据。
因此，过程Q运行时必须知道它的所有(静态)外层过程的最新活动记录的地址。
由于允许递归和可变数组，这些外层过程的活动记录的位置也往往是变迁的。
因此，必须设法跟踪每个(静态)外层的最新活动记录的位置，而完成这一功能的就是DISPLAY嵌套层次显示表。
也即，每当进入一个过程后，在建立它的活动记录区的同时也建立一张DISPLAY表，它自顶而下每个单元依次存放着现行层、直接外层等，直至最外层(主程序层)等每一层过程的最新活动记录的起始地址。
6.3 (1) 写出实现一般递归过程的活动记录结构以及过程调用、过程进入与过程返回的指令；(2) 对以return(表达式)形式(这个表达式本身是一个递归调用)返回函数值的特殊函数过程，给出不增加时间开销但能节省存储空间的实现方法。
编译原理（清华大学-第2版）课后习题答案
编译原理（清华⼤学-第2版）课后习题答案第三章N=>D=> {0,1,2,3,4,5,6,7,8,9}N=>ND=>NDDL={a |a(0|1|3..|9)n且 n>=1}(0|1|3..|9)n且 n>=1{ab,}a nb n n>=1第6题.(1) <表达式> => <项> => <因⼦> => i(2) <表达式> => <项> => <因⼦> => (<表达式>) => (<项>)=> (<因⼦>)=>(i)(3) <表达式> => <项> => <项>*<因⼦> => <因⼦>*<因⼦> =i*i(4) <表达式> => <表达式> + <项> => <项>+<项> => <项>*<因⼦>+<项>=> <因⼦>*<因⼦>+<项> => <因⼦>*<因⼦>+<因⼦> = i*i+i (5) <表达式> => <表达式>+<项>=><项>+<项> => <因⼦>+<项>=i+<项> => i+<因⼦> => i+(<表达式>) => i+(<表达式>+<项>)=> i+(<因⼦>+<因⼦>)=> i+(i+i)(6) <表达式> => <表达式>+<项> => <项>+<项> => <因⼦>+<项> => i+<项> => i+<项>*<因⼦> => i+<因⼦>*<因⼦> = i+i*i第7题第9题语法树ss s* s s+aa a推导: S=>SS*=>SS+S*=>aa+a*11. 推导:E=>E+T=>E+T*F语法树:E+T*短语: T*F E+T*F直接短语: T*F句柄: T*F12．短语：直接短语：句柄：13.(1)最左推导：S => ABS => aBS =>aSBBS => aBBS=> abBS => abbS => abbAa => abbaa 最右推导：S => ABS => ABAa => ABaa => ASBBaa => ASBbaa => ASbbaa => Abbaa => a1b1b2a2a3 (2) ⽂法：S → ABSS → AaS →εA → aB → b(3) 短语：a1 , b1 , b2, a2 , , bb , aa , abbaa,直接短语： a1 , b1 , b2, a2 , ,句柄：a114 (1)S → ABA → aAb | εB → aBb | ε(2)S → 1S0S → AA → 0A1 |ε第四章1. 1. 构造下列正规式相应的DFA (1)1(0|1)*101NFA(2) 1(1010*|1(010)*1)*0NFA(3)NFA(4)NFA2.解：构造DFA 矩阵表⽰b其中0 表⽰初态，*表⽰终态⽤0，1，2，3，4，5分别代替{X} {Z} {X,Z} {Y} {X,Y} {X,Y,Z} 得DFA状态图为：3．解：构造DFA矩阵表⽰构造DFA的矩阵表⽰其中表⽰初态，*表⽰终态替换后的矩阵4．（1）解构造状态转换矩阵：{2，3} {0，1}{2，3}a={0,3}{2},{3},{0,1}{0,1}a={1,1} {0,1}b={2,2}（2）解：⾸先把M的状态分为两组：终态组{0}，和⾮终态组{1，2，3，4,5} 此时G=( {0},{1,2,3,4,5} ) {1,2,3,4,5}a={1,3,0,5} {1,2,3,4,5}b={4,3,2,5}由于{4}a={0} {1,2,3,5}a={1,3,5}因此应将{1,2,3,4,5}划分为{4},{1,2,3,5}G=({0}{4}{1,2,3,5}){1,2,3,5}a={1,3,5}{1,2,3,5}b={4,3,2}因为{1,5}b={4} {23}b={2,3}所以应将{1,2,3,5}划分为{1,5}{2,3}G=({0}{1,5}{2,3}{4}){1,5}a={1,5} {1,5}b={4} 所以{1,5} 不⽤再划分{2,3}a={1,3} {2,3}b={3,2}因为 {2}a={1} {3}a={3} 所以{2,3}应划分为{2}{3}所以化简后为G＝（ {0},{2},{3},{4},{1,5}）7.去除多余产⽣式后，构造NFA如下G={(0,1,3,4,6),(2,5)} {0,1,3,4,6}a={1,3}{0,1,3,4,6}b={2,3,4,5,6}所以将{0,1,3,4,6}划分为 {0,4,6}{1,3} G={(0,4,6),(1,3),(2,5)}{0,4,6}b={3,6,4} 所以划分为{0},{4,6} G={(0),(4,6),(1,3),(2,5)}不能再划分，分别⽤ 0，4，1，2代表各状态，构造DFA 状态转换图如下；b8．代⼊得S = 0(1S|1)| 1(0S|0) = 01(S|ε) | 10(S|ε) = (01|10)(S|ε)= (01|10)S | (01|10)= (01|10)*(01|10)构造NFA由NFA可得正规式为(01|10)*(01|10)=(01|10)+9.状态转换函数不是全函数,增加死状态8,G={(1,2,3,4,5,8),(6,7)}(1,2,3,4,5,8)a=(3,4,8) (3,4)应分出(1,2,3,4,5,8)b=(2,6,7,8)(1,2,3,4,5,8)c=(3,8)(1,2,3,4,5,8)d=(3,8)所以应将(1,2,3,4,5,8)分为(1,2,5,8), (3,4)G={(1,2,5,8),(3,4),(6,7)}(1,2,5,8)a=(3,4,8) 8应分出(1,2,5,8)b=(2,8)(1,2,5,8)c=(8)(1,2,5,8)d=(8)G={(1,2,5),(8),(3,4),(6,7)}(1,2,5)a=(3,4,8) 5应分出G={(1,2), (3,4),5, (6,7) ,(8) }去掉死状态8,最终结果为 (1,2) (3,4) 5,(6,7) 以1,3,5,6代替,最简DFA为b正规式:b*a(da|c)*bb*第五章1.S->a | ^ |( T )(a,(a,a))S => ( T ) => ( T , S ) => ( S , S ) => ( a , S) => ( a, ( T )) =>(a , ( T , S ) ) => (a , ( S , S )) => (a , ( a , a ) ) S=>(T) => (T,S) => (S,S) => ( ( T ) , S ) => ( ( T , S ) , S ) => ( ( T , S , S ) , S ) => ( ( S , S , S ) , S )=> ( ( ( T ) , S , S ) , S ) => ( ( ( T , S ) , S , S ) , S ) =>( ( ( S , S ) , S , S ) , S ) => ( ( ( a , S ) , S , S ) , S ) => ( ( ( a , a ) , S , S ) , S ) => ( ( ( a , a ) , ^ , S ) , S ) => ( ( ( a , a ) , ^ , ( T ) ) , S )=> ( ( ( a , a ) , ^ , ( S ) ) , S ) => ( ( ( a , a ) , ^ , ( a ) ) , S ) => ( ( ( a , a ) , ^ , ( a ) ) , a )S->a | ^ |( T )T -> T , ST -> S消除直接左递归：S->a | ^ |( T )T -> S T’T’ -> , S T’ | ξSELECT ( S->a) = {a}SELECT ( S->^) = {^}SELECT ( S->( T ) ) = { ( }SELECT ( T -> S T’) = { a , ^ , ( }SELECT ( T’ -> , S T’ ) = { , }SELECT ( T’ ->ξ) = FOLLOW ( T’ ) = FOLLOW ( T ) = { ）}构造预测分析表分析符号串（ a , a ）#分析栈剩余输⼊串所⽤产⽣式#S ( a , a) # S -> ( T )# ) T ( ( a , a) # ( 匹配# ) T a , a ) # T -> S T’# ) T’ S a , a ) # S -> a# ) T’ a a , a ) # a 匹配# ) T’，a) # T’ -> , S T’# ) T’ S , , a ) # , 匹配# ) T’ S a ) # S->a# ) T’ a a ) # a匹配# ) T’) # T’ ->ξ# ) ) # )匹配# # 接受2.E->TE’E’->+E E’->ξT->FT’T’->T T’->ξF->PF’F’->*F’F’->ξP->(E) P->a P->b P->∧SELECT（E－>TE’）=FIRST(TE’)=FIRST(T)= {（，a，b，^）SELECT（E’－>+E）={+}SELECT（E’－>ε）=FOLLOW(E’)= {#，)}SELECT（T－>FT’）=FIRST（F）= {（，a，b，^}SELECT（T’ —>T）=FIRST（T）= {（，a，b，^）SELECT(T’－>ε)=FOLLOW(T’)= {＋，#，)}SELECT(F －>P F’)=FIRST(F)= {（，a，b，^}SELECT(F’－>*F’)={*}SELECT(F’－>ε)=FOLLOW(F’)= {（，a，b，^，＋，#，）}3. S->MH S->a H->Lso H->ξK->dML K->ξL->eHf M->K M->bLM FIRST ( S ) =FIRST(MH)= FIRST ( M ) ∪FIRST ( H ) ∪{ξ}∪{a}= {a, d , b , e ,ξ} FIRST( H ) = FIRST ( L ) ∪{ξ}= { e , ξ}FIRST( K ) = { d , ξ}FIRST( M ) = FIRST ( K ) ∪{ b } = { d , b ,ξ}FOLLOW ( S ) = { # , o }FOLLOW ( H ) = FOLLOW ( S ) ∪{ f } = { f , # , o }FOLLOW ( K ) = FOLLOW ( M ) = { e , # , o }FOLLOW ( L ) ={ FIRST ( S ) –{ξ} } ∪{o} ∪FOLLOW ( K )∪{ FIRST ( M ) –{ξ} } ∪FOLLOW ( M )= {a, d , b , e , # , o }FOLLOW ( M ) ={ FIRST ( H ) –{ξ} } ∪FOLLOW ( S )∪{ FIRST ( L ) –{ξ} } = { e , # , o }SELECT ( S-> M H) = ( FIRST ( M H) –{ξ} ) ∪FOLLOW ( S )= ( FIRST( M ) ∪FIRST ( H ) –{ξ} ) ∪FOLLOW ( S )= { d , b , e , # , o }SELECT ( S-> a ) = { a }SELECT ( H->L S o ) = FIRST(L S o) = { e }SELECT ( H ->ξ) = FOLLOW ( H ) = { f , # , o }SELECT ( K->ξ) = FOLLOW ( K ) = { e , # , o }SELECT ( L-> e H f ) = { e }SELECT ( M->K ) = ( FIRST( K ) –{ξ} ) ∪FOLLOW ( M ) = {d，e , # , o }SELECT ( M -> b L M )= { b }4 . ⽂法含有左公因式，变为S->C $ { b, a }C-> b A { b }C-> a B { a }A -> b A A { b }A-> a A’ { a }A’-> ξ{ $ , a, b }A’-> C { a , b }B->a B B { a }B -> b B’ { b }B’->ξ{ $ , a , b }B’-> C { a, b }5. <程序> --- S <语句表>――A <语句>――B <⽆条件语句>――C <条件语句>――D <如果语句>――E <如果⼦句> --FS->begin A end S->begin A end { begin }A-> B A-> B A’ { a , if }A-> A ; B A’-> ; B A’ { ; }A’->ξ{ end }B-> C B-> C { a } B-> D B-> D { if }C-> a C-> a { a }D-> E D-> E D’ { if }D-> E else B D’-> else B { else }D’->ξ{; , end } E-> FC E-> FC { if }F-> if b then F-> if b then { if }⾮终结符是否为空S－否A－否A’－是B－否C－否D－否D’－是E－否F－否FIRST(S) = { begin }FIRST(A) = FIRST(B) ∪FIRST(A’) ∪{ξ} = {a , if , ; , ξ} FIRST(A’) ={ ; , ξ}FIRST(B) = FIRST(C) ∪FIRST(D) ={ a , if }FIRST(C) = {a}FIRST(D) = FIRST（E）= { if }FIRSR(D’) = {else , ξ}FIRST(E) = FIRST(F) = { if }FIRST(F) = { if }FOLLOW(S) = {# }FOLLOW(A) = {end}FOLLOW(A’) = { end }FOLLOW(B) = {; , end }FOLLOW (C) = {; , end , else }FOLLOW(D) = {; , end }FOLLOW( D’ ) = { ; , end }FOLLOW(E) = { else , ; end }FOLLOW(F) = { a }S A A’ B C D D’ E F if then else begin end a b ;6. 1.(1) S -> A | B(2) A -> aA|a(3)B -> bB |b提取（2），（3）左公因⼦(1) S -> A | B(2) A -> aA’(3) A’-> A|ξ(4) B -> bB’(5) B’-> B |ξ2.(1) S->AB(2) A->Ba|ξ(3) B->Db|D(4) D-> d|ξ提取（3）左公因⼦(1) S->AB(2) A->Ba|ξ(3) B->DB’(4) B’->b|ξ(5) D-> d|ξ3.(1) S->aAaB | bAbB(2) A-> S| db(3) B->bB|a4(1)S->i|(E)(2)E->E+S|E-S|S提取（2）左公因⼦(1)S->i|(E)(2)E->SE’(3)E’->+SE’|-SE’ |ξ5(1)S->SaA | bB(2)A->aB|c(3)B->Bb|d消除（1）(3)直接左递归(1)S->bBS’(2)S’->aAS’|ξ(3)A->aB | c(4) B -> dB’(5)B’->bB’|ξ6.(1) M->MaH | H(2) H->b(M) | (M) |b消除（1）直接左递归，提取（2）左公因⼦(1)M-> HM’(2)M’-> aHM’ |ξ(3)H->bH’ | ( M )(4)H’->(M) |ξ7. (1)1)A->baB4)B->a将1）、2)式代⼊3）式1)A->baB2)A->ξ3)B->baBbb4)B->bb5)B->a提取3）、4）式左公因⼦1)A->baB2)A->ξ3)B->bB’4)B’->aBbb | b5)B->a(3)1)S->Aa2)S->b3)A->SB4)B->ab将3）式代⼊1）式1)S->SBa2)S->b3)A->SB4)B->ab消除1）式直接左递归1)S->bS’2)S’->BaS’ |ξ3)S->b4)A->SB5)B->ab删除多余产⽣式4）1)S->bS’（5）1)S->Ab2)S->Ba3)A->aA4)A->a5)B->a提取3）4）左公因⼦1)S->Ab4)A’-> A |ξ5)B->a将3）代⼊1）5）代⼊21)S->aA’b2)S->aa3)A->aA’4)A’-> A |ξ5)B->a提取1）2）左公因⼦1)S-> aS’2)S’->A’b | a3)A->aA’4)A’-> A |ξ5)B->a删除多余产⽣式5）1)S-> aS’2)S’->A’b | a3)A->aA’4)A’-> A |ξA A’S’S将3）代⼊4）1)S-> aS’2)S’->A’b | a3)A->aA ’4)A’-> aA’ |ξ3)S’->a4)S’->b5)A->aA ’6)A’-> aA’ |ξ对2）3)提取左公因⼦1)S->aS’2)S’->aS’’3)S’’->A’b|ξ4)S’->b5)A->aA ’6)A’-> aA’ |ξ删除多余产⽣式5）1)S->aS’2)S’->aS’’3)S’’->A’b|ξ4)S’->b第六章1S → a | ∧ | ( T )T → T , S | S解：(1) 增加辅助产⽣式 S’→＃S＃求 FIRSTVT集FIRSTVT（S’）＝ {#}FIRSTVT（S）＝ {a ∧ ( }＝ { a ∧ ( } FIRSTVT (T) ＝ {,} ∪ FIRSTVT( S ) = { , a ∧ ( }求 LASTVT集LASTVT（S’）＝ { # }LASTVT（S）＝ { a ∧ )}LASTVT (T) ＝ { , a ∧ )}(2)因为任意两终结符之间⾄多只有⼀种优先关系成⽴，所以是算符优先⽂法(3)a ∧( ) , #F 1 1 1 1 1 1g 1 1 1 1 1 1f 2 2 1 3 2 1g 2 2 2 1 2 1f 3 3 1 3 3 1g 4 4 4 1 2 1f 3 3 1 3 3 1g 4 4 4 1 2 1(4)栈优先关系当前符号剩余输⼊串移进或规约＃<·( a,a)# 移进＃( <· a ,a)# 移进＃(T <·, a)# 移进＃(T，<· a )# 移进＃(T,a ·> ) # 规约＃(T,T ·> ) # 规约＃(T =·) # 移进＃(T) ·> ＃规约＃T =·＃接受4.扩展后的⽂法S’→#S# S→S;G S→G G→G(T) G→H H→a H→(S)T→T+S T→S（1）FIRSTVT(S)={;}∪FIRSTVT(G) = {; , a , ( }FIRSTVT(G)={ ( }∪FIRSTVT(H) = {a , ( }FIRSTCT(H)={a , ( }FIRSTVT(T) = {+} ∪FIRSTVT(S) = {+ , ; , a , ( }LASTVT(S) = {;} ∪LASTVT(G) = { ; , a , )}LASTVT(G) = { )} ∪LASTVT(H) = { a , )}LASTVT(H) = {a, )}LASTVT(T) = {+ } ∪LASTVT(S) = {+ , ; , a , ) }构造算符优先关系表因为任意两终结符之间⾄多只有⼀种优先关系成⽴，所以是算符优先⽂法（2）句型a(T+S);H;(S)的短语有：a(T+S);H;(S) a(T+S);H a(T+S) a T+S (S) H直接短语有: a T+S H (S)句柄： a素短语：a T+S (S)最左素短语：a(3)（4）不能⽤最右推导推导出上⾯的两个句⼦。
编译原理(第2版)课后习题答案详解
第1 章引论第1 题解释下列术语：（1）编译程序（2）源程序（3）目标程序（4）编译程序的前端（5）后端（6）遍答案：（1）编译程序：如果源语言为高级语言，目标语言为某台计算机上的汇编语言或机器语言，则此翻译程序称为编译程序。
（2）源程序：源语言编写的程序称为源程序。
（3）目标程序：目标语言书写的程序称为目标程序。
（4）编译程序的前端：它由这样一些阶段组成：这些阶段的工作主要依赖于源语言而与目标机无关。
通常前端包括词法分析、语法分析、语义分析和中间代码生成这些阶段，某些优化工作也可在前端做，也包括与前端每个阶段相关的出错处理工作和符号表管理等工作。
（5）后端：指那些依赖于目标机而一般不依赖源语言，只与中间代码有关的那些阶段，即目标代码生成，以及相关出错处理和符号表操作。
（6）遍：是对源程序或其等价的中间语言程序从头到尾扫视并完成规定任务的过程。
第2 题一个典型的编译程序通常由哪些部分组成？各部分的主要功能是什么？并画出编译程序的总体结构图。
答案：一个典型的编译程序通常包含8 个组成部分，它们是词法分析程序、语法分析程序、语义分析程序、中间代码生成程序、中间代码优化程序、目标代码生成程序、表格管理程序和错误处理程序。
其各部分的主要功能简述如下。
词法分析程序：输人源程序，拼单词、检查单词和分析单词，输出单词的机内表达形式。
语法分析程序：检查源程序中存在的形式语法错误，输出错误处理信息。
语义分析程序：进行语义检查和分析语义信息，并把分析的结果保存到各类语义信息表中。
中间代码生成程序：按照语义规则，将语法分析程序分析出的语法单位转换成一定形式的中间语言代码，如三元式或四元式。
中间代码优化程序：为了产生高质量的目标代码，对中间代码进行等价变换处理。
目标代码生成程序：将优化后的中间代码程序转换成目标代码程序。
表格管理程序：负责建立、填写和查找等一系列表格工作。
表格的作用是记录源程序的各类信息和编译各阶段的进展情况，编译的每个阶段所需信息多数都从表格中读取，产生的中间结果都记录在相应的表格中。
《编译原理》(清华大学出版社第二版)课后习题答案
PL/0编译程序所产生的目标代码是一种假想栈式计算机的汇编语言，请说明该汇编语言中下列指令各自的功能和所完成的操作。
（１）INT 0 A
（２）OPR 0 0
（３）CAL L A
答案：
PL/0编译程序所产生的目标代码中有3条非常重要的特殊指令，这3条指令在code中的位置和功能以及所完成的操作说明如下：
或者：允许0开头的非负整数？
第３题
为只包含数字、加号和减号的表达式，例如9-2＋5，3-1，７等构造一个文法。
答案：
G[S]:
S->S+D|S-D|D
D->0|1|2|3|4|5|6|7|8|9
第4题
已知文法G[Z]：
Z→aZb|ab
写出L(G[Z])的全部元素。
答案：
Z=>aZb=>aaZbb=>aaa..Z...bbb=> aaa..ab...bbb
N→D|1|3|5|7|9
D→2|4|6|8
F→N|0
G→D|0
第6题
已知文法G：
<表达式>::=<项>｜<表达式>＋<项>
<项>::=<因子>｜<项>*<因子>
<因子>::=（<表达式>）｜i
试给出下述表达式的推导及语法树。
（５）i+(i+i)
（６）i+i*i
答案：
(5) <表达式>
=><表达式>＋<项>
n n
L(G[Z])={a b |n>=1}
第5题写一文法，使其语言是偶正整数的集合。要求：
编译原理教程第五版课后答案
编译原理教程第五版课后答案第一章：引言问题1答：编译器是一种将高级编程语言源代码转换为目标机器代码的软件工具。
它由多个阶段组成，包括词法分析、语法分析、语义分析、中间代码生成、代码优化和代码生成等。
问题2答：编译器的主要任务包括以下几个方面： - 词法分析：将源代码划分为词法单元，如标识符、关键字、操作符等。
- 语法分析：根据语法规则，将词法单元组成语法树。
- 语义分析：对语法树进行语义检查，如类型匹配、变量声明等。
- 中间代码生成：将语法树转换为中间代码表示形式。
- 代码优化：对中间代码进行优化，以提高程序的效率。
- 代码生成：将优化后的中间代码转换为目标机器代码。
第二章：词法分析问题1答：词法单元是编译器在词法分析阶段识别的最小的语法单位，它由一个或多个字符组成。
常见的词法单元包括关键字、标识符、常量和运算符等。
问题2答：识别词法单元的方法包括以下几种： - 正则表达式：通过正则表达式匹配字符串，识别出各类词法单元。
- 有限自动机：构建有限状态自动机，根据输入字符的不同状态转移，最终确定词法单元。
- 递归下降法：使用递归下降的方式，根据语法规则划分出词法单元。
第三章：语法分析问题1答：语法分析是编译器的一个重要阶段，它的主要任务是根据给定的语法规则，将词法单元序列转换为语法树。
语法分析有两个主要的方法：自顶向下的分析和自底向上的分析。
问题2答：自顶向下的分析是从文法的起始符号开始，根据语法规则逐步向下展开，直到生成最终的语法树。
常见的自顶向下的分析方法包括LL(1)分析和递归下降分析。
问题3答：自底向上的分析是从输入串开始，逐步合并词法单元，最终生成语法树。
常见的自底向上的分析方法包括LR分析和LALR分析。
第四章：语义分析问题1答：语义分析的主要任务是对语法树进行语义检查和类型推断。
语义分析阶段会检查变量的声明和使用是否合法，以及类型是否匹配等。
问题2答：常见的语义错误包括变量未声明、类型不匹配、函数调用参数不匹配等。
编译原理课后习题答案-清华大学-第二版
《编译原理》课后习题答案第二章
第 2 章 PL/0 编译程序的实现
第1题
PL/0 语言允许过程嵌套定义和递归调用，试问它的编译程序如何解决运行时的存储管 理。
答案： PL/0 语言允许过程嵌套定义和递归调用，它的编译程序在运行时采用了栈式动态存储
管理。（数组 CODE 存放的只读目标程序，它在运行时不改变。）运行时的数据区 S 是由 解释程序定义的一维整型数组，解释执行时对数据空间 S 的管理遵循后进先出规则，当每 个过程(包括主程序)被调用时，才分配数据空间，退出过程时，则所分配的数据空间被释放。 应用动态链和静态链的方式分别解决递归调用和非局部变量的引用问题。
(2) 扩充 repeat 语句的语法图为：
EBNF 的语法描述为： 〈 重复语句〉::= repeat〈语句〉{；〈语句〉}until〈条件〉
《编译原理》课后习题答案第三章
第 3 章 文法和语言
第1题
文法 G＝({A,B,S},{a,b,c},P,S)其中 P 为： S→Ac|aB A→ab B→bc 写出 L(G[S])的全部元素。
注意：如果问编译程序有哪些主要构成成分，只要回答六部分就可以。如果搞不清楚， 就回答八部分。 第3题
何谓翻译程序、编译程序和解释程序？它们三者之间有何种关系？ 答案：
翻译程序是指将用某种语言编写的程序转换成另一种语言形式的程序的程序，如编译程 序和汇编程序等。
编译程序是把用高级语言编写的源程序转换（加工）成与之等价的另一种用低级语言编 写的目标程序的翻译程序。
地址，用以过程执行结束后返回调用过程时的下一条指令继续执行。 在每个过程被调用时在栈顶分配 3 个联系单元，用以存放 SL，DL， RA。
第5题
PL/0 编译程序所产生的目标代码是一种假想栈式计算机的汇编语言，请说明该汇编语 言中下列指令各自的功能和所完成的操作。 （１） INT 0 A （２） OPR 0 0 （３） CAL L A
编译原理第六章答案
第6 章自底向上优先分析第1 题已知文法G[S]为：S→a|∧|(T)T→T,S|S(1) 计算G[S]的FIRSTVT 和LASTVT。
(2) 构造G[S]的算符优先关系表并说明G[S]是否为算符优先文法。
(3) 计算G[S]的优先函数。
(4) 给出输入串(a,a)#和(a,(a,a))#的算符优先分析过程。
答案：文法展开为：S→aS→∧S→(T)T→T,ST→S(1) FIRSTVT - LASTVT 表：表中无多重人口所以是算符优先（OPG）文法。
友情提示：记得增加拓广文法 S`→#S#，所以# FIRSTVT(S)，LASTVT(S) #。
(3)对应的算符优先函数为：Success!对输入串（a,(a,a)）# 的算符优先分析过程为：Success!第2 题已知文法G[S]为：S→a|∧|(T)T→T,S|S(1) 给出(a,(a,a))和(a,a)的最右推导，和规范归约过程。
(2) 将(1)和题1 中的(4)进行比较给出算符优先归约和规范归约的区别。
答案：(2)算符优先文法在归约过程中只考虑终结符之间的优先关系从而确定可归约串，而与非终结符无关，只需知道把当前可归约串归约为某一个非终结符，不必知道该非终结符的名字是什么，因此去掉了单非终结符的归约。
规范归约的可归约串是句柄，并且必须准确写出可归约串归约为哪个非终结符。
第３题：有文法G[S]：S VV T|ViTT F|T+FF )V*|((1) 给出(+(i(的规范推导。
(2) 指出句型F+Fi(的短语，句柄，素短语。
(3) G[S]是否为OPG若是，给出(1)中句子的分析过程。
因为该文法是OP，同时任意两个终结符的优先关系唯一，所以该文法为OPG。
(+(i(的分析过程第４题文法G［S］为：S→S;G｜GG→G(T)｜HH→a｜(S)T→T+S｜S（１）构造G［S］的算符优先关系表，并判断G［S］是否为算符优先文法。
（２）给出句型a(T+S);H;(S)的短语、句柄、素短语和最左素短语。
编译原理 第6章习题解答
第六章习题解答6.1根据语法树，得到下述优先关系：E′*(E T′>+ F>* i>*+<T +<F +<i *<(6.2由文法各条产生式，有然后构造<：FIRST={(Z,b),(M,(),(M,a),(L,M)}FIRST+={(Z,b),(M,(),(M,a),(L,M),(L,(),(L,a)}FIRST*=FIRST+∪{(a,a),(b,b),((,(),( ),)),(Z,Z),(M,M),(L,L)}所以<={(b,(),(b,a),((,M),((,(),((,a))再构造>：LAST={(Z,b),(M,L),(M,a),(L,))}LAST+={(Z,b),(M,L),(M,a),(M,))(L,))}(LAST+)T={(b,Z),(L,M),(a,M),( ),M},( ),L}}(LAST+)T所以>={(L,b),(L,a),(a,b),(a,a),( ),b),(),a)}将这三种关系合并得到表6.1。
利用此算法分析符号串b((aa)a)b是否是文法G[Z]的句子，过程如表6.2所示。
分析成功，符号串b((aa)a)b是文法G[Z]的句子。
表6.1 G[Z]的简单优先关系矩阵表6.2 简单优先分析过程6.3由优先关系矩阵中所示的优先关系：a>c a<b b>b b以及优先函数的定义，应该有f(a)>g(c)，f(a)<g(b)，f(b)>g(b)，f(b)=g(c)则有f(a)>g(c)=f(b)>g(b)>f(a)矛盾。
所以该文法不存在优先函数。
6.4①定义集合∑=N，R={(x,y)∣x,y∈∑,x是y的因子}②定义集合∑=N,R={(x,y)|x,y∈∑,x和y均能被3整除}③定义集合∑=N-{1}，R={(x,y)|x,y∈∑,x和y有大于1的公约数}④定义集合∑=N,R为关系“=”6.5关系可以用集合定义，也可以用布尔矩阵表示。
(完整word版)编译原理第六章答案
第6章自底向上优先分析第1题已知文法G[S]为：S T a|A |(T)T,S|S(1)计算 G[S]的 FIRSTVT 和 LASTVT。
(2)构造G[S]的算符优先关系表并说明G[S]是否为算符优先文法。
⑶计算G[S]的优先函数。
(4)给出输入串(a,a)#和(a,(a,a))#的算符优先分析过程。
答案：文法展开为：S^aS T AS T (T)T T T,ST T S猱符优先关系表:友情提示：记得增加拓广文法S' T#S#，所以# FIRSTVT(S) , LASTVT(S) # 。
Success!对输入串(a,(a,a) ) #的算符优先分析过程为:栈〔STACK) 为询字符WH恋)剩余输入笊(INPUT_STRING)动作〔ACTION)岸n a.(a.a))# e ill * a 伽)># itove iiima{aa)> Reduce: S—q <a.a)># Move iii( a.a))# Move iiia 讪Move iiia))# Reduce: S—日#(N,(N i a))# \tove iii#(N.(N a Move m粼屈)Reduce: S—R粼N(N.N)Reduce； T—丁占)h【ovE iii)#Reduce: S—*(T) #(N,N )#Reduce: T—*T,S #(N )Move iiiKN) ##Reduce: S—"(T) Success!第2题已知文法G[S]为：S T a|A |(T)T,S|S(1)给出(a,(a,a))和(a,a)的最右推导，和规范归约过程。
⑵ 将⑴和题1中的⑷进行比较给出算符优先归约和规范归约的区另叽答案：(1 ) (n・a)的授右推导过程为: sn(T) =(T.S)=^(T.a)=>(S.a)=>(a.a)(a.(a.a))的最右推导过程为:S=>(T)O(T.S)=(T.(T))=>(r.(r.s))=>(T.(T.a))=>(T.(S.a))=>(T-(a.a))=>(S.(a.a))=>(a.(a.a))(a.(a.a))的规范归约过程:(冇)的规范！H约过阻(2)非终结符无关，只需知道把当前可归约串归约为某一个非终结符，不必知道该非终结符的名字是什么，因此去掉了单非终结符的归约。
编译原理第6章 习题与答案
第6章习题6-1 将下列中缀式改写为逆波兰式。
(1) -A*(B+C)/(D-E)(2) ((a*d+c)/d+e)*f+g(3) a+x≤4∨(c>d*3)(4) a∨b∧c<d*e/f6-2 将下列逆波兰式改写为中缀式。
(1) abc*+(2) abc-*cd+e/-(3) abc+≤a0>∧ab+0≠a0<∧∨6-3 将下列语句翻译成四元式序列。
(1) X:=A*(B+C)+D(2) if A∧(B∨(C∨D)) then S1 else S2(3) while A<C∧B>0 doif A=1 then C:=C+1 else A:=A+26-4 设有二维PASCAL数组A[1··10,1··20]和三维PASCAL数组B[1··10, 1··20,1··30]，给出赋值语句A[I,J]:=B[J,I+J,I+1]+X的四元式序列。
第5章习题答案6-1 解：(1) A-BC+*DE-/(2) ad*c+d/e+f*g+(3) ax+4≤cd3*>∨(4) abcde*f/<∧∨6-2 解：(1) a+b*c(2) a*(b-c)-(c+d)/e(3) a≤b+c∧a>0∨a+b≠0∧a<06-3 解：(1) (1) (+,B,C,T1)(2) (*,A,T1 ,T2)(3) (+,T2 ,D,T3)(4) (=,T3 ,0,X)(2) 如下所示：(1) (jnz,A,0,3);(2) (j,0,0,p+1);(3) (jnz,B,0,9);(4) (j,0,0,5);(5) (jnz,C,0,9);(6) (j,0,0,7);(7) (jnz,D,0,9);(8) (j,0,0,p+1);(9) 与S1相应的四元式序列(p) (j,0,0,q)(p+1) 与S2相应的四元式序列(q) …(3) 假设所产生的四元式序列编号从1开始(1) (j<A,C,3)(2) (j,0,0,13)(3) (j>,B,0,5)(4) (j,0,0,13)(5) (j=,A,1,7)(6) (j,0,0,10)(7) (+,C,1,T1)(8) (=,T1 , ,C)(9) (j,0,0,1)(10) (+,A,2,T2)(11) (=,T2 , ,A)(12) (j,0,0,1)(13) …6-4 解：(1) (*,I,20,T1)(2) (+,J,T1,T1)(3) (-,a A,C A ,T2)(4) (+,I,J,T3)(5) (*,J,20,T4)(6) (+,T3 ,T4 ,T4)(7) (+,I,1,T5)(8) (*,T4,30,T6)(9) (+,T5 ,T6 ,T6)(10) (-,a B,C B ,T7)(11) (=[],T7[T6],0,T8)(12) (+,T8 ,X,T9)(13) ([]=,T9 ,0,T2[T1])（注：(1)～(3)是计算下标变量A[I,J]地址的四元式，T2中存放的是CONSTPART 部分，而T1中存放的是VARPART部分，a A表示数组A的首地址；(4)～(10) 是计算下标变量B[J,I+J,I+1]地址的四元式，T7中存放的是CONSTPART 部分，而T6中存放的是VARPART部分，a B表示数组B的首地址。
编译原理第6章习题答案
P164–7
方法一： S L1.L2 SL L L1B LB B0 B1 {S.val:=L1.val+(L2.val/2 {S.val:=L.val} {L.val:=2*L1.val + B.c; L.length:=L1.length+1} {L.val:=B.c; L.length :=1} {B.c:=0} {B.c:=1}
End Else begin E.type := real; E.code:=E1.code || T.code || inttoreal || + end ET E.type := T.type; E.code:= T.code
T num.num T.type := real E.code:= num.num T num T.type := int E.code:= num
L1.length
L 2.length
)}
;
L.length:=L1.length+1} LB B0 B1 {L.val:=B.val; L.length :=1} {B.val:=0} {B.val:=1}
P165–11
答： D→id L L→, id L1 L→ : T T→integer T→ real {D.type:= L.type；addtype(id.type,L.type)} {L.type:= L1.type；addtype(id.type,L1.type)} {L.type:= T.type} { T.type := integer} { T.type := real}
L 2.length
)}
方法二： 为了用上 B 的综合属性 c, 就要将左递归产生式 L LB 转化为 L BL， 所以设计的求 S.val 的属性文法为： S L1.L2 SL L B L1 {S.val:=L1.val+(L2.val/2 {S.val:=L.val} {L.val:=B.c+L1.val; B.c:=B.val*2
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
第六章运行时存储空间组织
6.1 完成下列选择题：
(1) 过程的DISPLAY表中记录了。
a. 过程的连接数据
b. 过程的嵌套层次
c. 过程的返回地址
d. 过程的入口地址
(2) 过程P1调用P2时，连接数据不包含。
a. 嵌套层次显示表
b. 老SP
c. 返回地址
d. 全局DISPLAY地址
(3) 堆式动态分配申请和释放存储空间遵守原则。
a. 先请先放
b. 先请后放
c. 后请先放
d. 任意
(4) 栈式动态分配与管理在过程返回时应做的工作有。
a. 保护SP
b. 恢复SP
c. 保护TOP
d. 恢复TOP
(5) 如果活动记录中没有DISPLAY表，则说明。
a. 程序中不允许有递归定义的过程
b. 程序中不允许有嵌套定义的过程
c. 程序中既不允许有嵌套定义的过程，也不允许有递归定义的过程
d. 程序中允许有递归定义的过程，也允许有嵌套定义的过程
【解答】
(1) b (2) a
(3) d (4) b (5) b
6.2 何谓嵌套过程语言运行时的DISPLAY表？它的作用是什么？
【解答】当过程定义允许嵌套时，一个过程在运行中应能够引用在静态定义时包围它的任一外层过程所定义的变量或数组。
也就是说，在栈式动态存储分配方式下的运行中，一个过程Q可能引用它的任一外层过程P的最新活动记录中的某些数据。
因此，过程Q运行时必须知道它的所有(静态)外层过程的最新活动记录的地址。
由于允许递归和可变数组，这些外层过程的活动记录的位置也往往是变迁的。
因此，必须设法跟踪每个(静态)外层的最新活动记录的位置，而完成这一功能的就是DISPLAY嵌套层次显示表。
也即，每当进入一个过程后，在建立它的活动记录区的同时也建立一张DISPLAY表，它自顶而下每个单元依次存放着现行层、直接外层等，直至最外层(主程序层)等每一层过程的最新活动记录的起始地址。
6.3 (1) 写出实现一般递归过程的活动记录结构以及过程调用、过程进入与过程返回的指令；
(2) 对以return(表达式)形式(这个表达式本身是一个递归调用)返回函数值的特殊函数过程，给出不增加时间开销但能节省存储空间的实现方法。
假定语言中过程参数只有传值和传地址两种形式，为便于理解，举下例说明这种特殊的函数调用：
int gcd (int p,int q)
{
if (p % q ==0) return q;
else return gcd (q, p % q)
}
【解答】(1) 一般递归过程的活动记录如图6-1所示。
TOP
图6-1 递归过程的活动记录过程调用指令为
(i+4)[TOP]=Ti 或(i+4)[TOP]=addr [Ti]
1[TOP]=SP
3[TOP]=SP+d
4[TOP]=n
JSR P
过程进入指令为
SP=TOP+1
1[SP]=返回地址
TOP=TOP+L
建立DISPLAY
P；/*执行P过程*/
返回指令为
TOP=SP-1
SP=0[SP]
X=2[TOP]
UJ 0[X]
(2) 对于return后的直接递归情况，可简化为
(i+3)[SP]=Ti 或(i+3)[SP]=addr [Ti]
UJ P
6.4 有一程序如下：
program ex;
a: integer;
procedure PP(x: integer);
begin:
x:=5; x:=a+1
end;
begin a:= 2; PP(a); write(a) end. 试用图表示ex 调用PP(a)前后活动记录的过程。
【解答】 按照嵌套过程语言栈式实现方法，ex 调用PP(a)前后活动记录的过程如图6-2所示。
图6-2 ex 调用PP(a)前后的活动记录
6.5 类PASCAL 结构(嵌套过程)的程序如下，该语言的编译器采用栈式动态存储分配策略管理目标程序数据空间。
program Demo procedure A; procedure B; begin(*B*) … if d then B else A; …
end;(*B*) begin(*A*) B end;(*A*)
begin(*Demo*) A end.
(1) 若过程调用序列为
PP 的活动记录(调用PP(a)之后)
ex 的活动记录(调用PP(a)之前)
① Demo →A ；② Demo →A →B ；③ Demo →A →B →B ；④ Demo →A →B →B →A 请分别给出这四个时刻运行栈的布局和使用的DISPLAY 表； (2) 若该语言允许动态数组，编译程序应如何处置？如过程B 有动态局部数组R[m:n]，请给出B 第一次激活时相应的数据空间的情况。
【解答】 (1) 运行栈及使用的DISPLAY 表如图6-3所示。
图6-3 运行栈及DISPLAY 表示意图
(2) 由于一个过程在运行时所需的实际数据空间的大小，除可变数据结构(可变数组)那些部分外，其余部分在编译时是完全可以知道的。
编译程序处理时将过程运行时所需的数据空间分为两部分：一部分在编译时可确定其体积，称为该过程的活动记录；另一部分(动态数组)
A 的活动记录Demo 的活动记录
B 的活动记录
A 的活动记录Demo 的活动记录(1) Demo→A (2) Demo→A→B
Demo_sp
DISPLAY 表A 2(3) Demo→A→B 1→B 2A 2的活动记录A 1的活动记录Demo 的活动记录
(4) Demo→A 1→B 1→B 2→A 2B 2的活动记录B 1的活动记录B 2B 1A 1B 2_sp
DISPLAY B 1_sp
A _sp
B 1的活动记录B 2的活动记录A 的活动记录Demo 的活动记录
的体积需在运行时动态确定，称为该过程的可变辅助空间。
当一个过程开始工作时，首先在运行栈顶部建立它的活动记录，然后再在这个记录之顶确定它所需的辅助空间。
含有动态数组R 的过程B 在第一次激活时，相应的数据空间情况如图6-4所示。
图6-4 带动态数组的运行栈示意
(a) 动态数组R 空间分配之前；(b) 动态数组R 空间分配之后
6.6 下面程序的结果是120。
但是如果把第5行的abs(1)改成1的话，则程序结果为1。
试分析为什么会有这种不同的结果。
int fact( ) { static int i=5; if (i==0){ return(1); } else { i=i-1; return((i+abs(1))*fact( ));} } main( ) { printf ("factor or 5=%d\n",fact( )); } 解答】 i 是静态变量，所有对i 的操作实际上都是对i 所对应的存储单元进行操作，每次递归进入下一层fact 函数后，上一层对i 的赋值仍然有效。
需要注意的是，每次递归调用时，(i + abs(1))*fact( )中的(i + abs(1))的值都先于fact 算出。
因此，第一次递归调用所求得的值为5*fact ，第二次递归调用所求得的值为4*fact ，…，一直到第五次递归调用所求得的值为1*fact ，而此时fact 为1。
也即实际上是求一个5*4*3*2*1的阶乘，由此得到结果
B 的活动记录
A_sp
A 的活动记录Demo 的活动记录
B 的活动记录A 的活动记录
的活动记录B 的可变辅助空间(a)(b)
为120。
将abs(1)改为1后，输出结果为1而不是120，这主要是与编译的代码生成策略有关。
对表达式(i + abs(1))* fact( )，因为两个子表达式(i+abs(1))和fact( )都有函数调用，而编译器的编译则是先产生左子表达式的代码，后产生右子表达式的代码。
也即，每次递归调用时，(i + abs(1))* fact( )中的(i+abs(1))的值都先于fact算出。
但是，当abs(1)改为1后，左子表达式就没有函数调用了，于是编译器就先产生右子表达式的代码。
每次递归调用时，(i+1)* fact( )中的(i+1)值都后于fact计算。
也即，第一次递归调用得到(i+1)* fact，第二次递归调用得到(i+1)*fact，第三次递归调用仍得到(i+1)*fact，…，直到第五次递归调用还是得到(i+1)* fact，而此时fact为1，i为0。
因此，每次递归所求实际上都是1 * fact，最终得到输出结果为1。