计算机科学与技术《编译原理》求解题

京航空航天大学541离散数学与编译原理2012年考研大纲：　《离散数学（第三版）》耿素云、屈婉玲、张立昂编39清华大学出版社　2004年；　《编译原理》陈火旺编，国防工业出版社，2000年第三版7395　离散数学部分　1．　命题逻辑与一阶逻辑　1．1．　联结词、量词、谓词　1．2．　命题逻辑范式　1．3．　合式公式、解释、等值式　1．4．　推理理论　2．　集合与关系　2．1．　集合的运算与性质　2．2．　关系的运算、性质与闭包　2．3．　等价关系与偏序关系　2．4．　函数的运算与性质　3．　代数系统　3．1．　代数系统及其同态与同构　3．2．　半群与群　3．3．　格与布尔代数　4．　图与树　4．1．　图的定义与表示　4．2．　图的连通性、欧拉图、哈密尔顿图　4．3．　二部图、平面图　4．4．　树、生成树与根树　编译原理部分　第一章：了解有关编译程序的基本概念、结构　第二章：掌握语言的定义与文法描述的基本概念、术语与文法改造方法；　第三章：掌握有限自动机、正规式的概念、算法；正规式与有限自动机、正规文法的相互转换　第四章：掌握LL（1）分析方法；算符文法；LR（K）分析方法zd　第五章：掌握属性文法的概念；S―属性文法、L―属性文法的定义、翻译模式以及计算继承属性、综合属性的方法xbf　第六章：掌握赋值语句与布尔表达式的翻译；控制语句的翻译；过程调用与类型检查。　第七章：运行存储组织；静态与动态存储管理与实现。　第八章：掌握优化概念与局部优化、数据流方程与循环优化方法。

1、错
2、对
3、错
4、对
5、错
6、对
7、对
8、对
9、对
10、错

呀。。好高级的样子。貌似我下学期才学呢