2012年南京航空航天大学离散数学与编译原理考研复试试题（.PDFVIP

2012 年南京航空航天大学离散数学与编译原理考研复试试题 （（（回忆版（回忆版））） 离散数学 1．先先用谓词符号表示，再再给出证明，这个 20 分 2．定义 C(X)=U{B|X 包含于 B} 这个 20 分 证明 X 包含于 C(X)，证明 C(C(X))包含于 C(X)，若 X 包含于 Y，证明 C(X)包含于 C（Y）. 3．给出一个图，判断其其是否为欧拉图，哈密顿图，平面图，二部图并给出理由 这个 20 分 4．群的证明 这个 15 分 H，P 是群 G 的子群，证明 HnP 也是 G 的子群； 证明 PUH 是 G 的子群，当且仅当包含于 H，或者 H 包含于 P。 编译原理 1．第一大题是基础概念题 第一小题是简述编译系统包括哪几个部分，每个部分分别有什么功能 第二小题是根据 C 语言的特点，说明 C 语言的存储方式??别有哪几种 第三小题是先先写写出一个句型的推导过程，然后写写出语法树，写写出所有短语，直接短语，句柄 和素短语 2．写写出一个正规式的文法。比比较简单，只有 5 分 3．给出一个文法，判断是否是 LL（1）文法，一般是不是，然后对其其改写写为 LL（1） 文法， 写写出写写出 first 集和 follow 集，写写出预测分析表 4．给出文法，写写出 DFA，判断是否是 SLR（1）文法，写写出 SLR（1） 分析表 5．语法制导还有翻译，这个我完全全不懂，没没看，好像是第八八章的吧，这个十分 6．给出一段程序，画出 DAG 图，并写写出优化后的四元元式