试题内容:

编译原理部分
1.(5%) 给出下述NFA M的五元组表示, 并将其确定化

2 (5%) 构造一个不具有ε-转移的NFA M’ , 使得L(M’)=L(M)


3 (10%) 证明文法G[A]是LR(1)文法.
G[A]: A->BA|ε
B->aB|b
4 (5%) 证明合并不存在冲突(移进/归约、归约/归约)的LR(1)项目集的同心集不会产生新的移进/
归约冲突.


5.(5%) 对目标代码运行时的存储空间采用基于过程活动记录的栈式分配方案, 举例说明象PASCA