ab的NFA2.3有限自动机12开始a0abb识别语言.ppt

编译原理和技术 课 程 简 介 课程内容 介绍编译器构造的一般原理和基本实现方法 介绍的理论知识：形式语言和自动机理论、语法制导的定义和属性文法、类型论等 强调形式描述技术和自动生成技术 强调对编译原理和技术的宏观理解，不把注意力分散到枝节算法，不偏向于某种源语言或目标机器 课 程 简 介 学习的意义 对编程语言的设计和实现有深刻的理解，对和编程语言有关的理论有所了解，对宏观上把握编程语言来说，起一个奠基的作用。 从软件工程看，编译器是一个很好的实例，所介绍的概念和技术能应用到一般的软件设计之中。 大多数程序员同时是简单语言的设计者，有助于提高对这些语言的设计水平。 在软件逆向工程、程序理解和软件安全等方面有着广泛的应用。 课 程 简 介 教材和参考书 陈意云、张昱，编译原理，高等教育出版社， 2003 A. Aho, R. Sethi, and J. D. Ullman, Compilers: Principles, Techniques, and Tools , 2nd edition, Addison-Wesley, 1986 陈意云、张昱，编译原理习题精选与解析，高等教育出版社，2005 教学资源网页：/~yiyun 课 程 简 介 课程要求 目标：师生共同努力，达国内最好水平 讲课进展较快，平时不复习并加深理解，后面将听不懂 作业较多，要求独立完成 上机实验，不要轻视 阅读PL/0编译器，会有很大收获 考试开卷，决不会轻松 学期总评 = 考试成绩占70%，作业占15%，上机实验5%，阅读PL/0编译器占10% 上课时间安排 对 课 程 的 评 论 本校94少年班某同学，Stanford大学博士（1999年） Actually I think the quality of the compiler course in USTC is really very good and can be compared with any universities here. 本系某考研同学（2006年） 感觉您出的题目很有创意，也很有深度 ，没有局限于固定的算法和题型，只看课本和复习往年的题目而不深入思考的人是做不出来的，能够真正从本质上考察一个考生的水平。 西南科技大学某考研学生（2004年） 看过你编的书后，感觉编译的原理可以一下子和我平常学的很多学科和语言都联系起来了，可以学到很多可以实际用到的东西，虽然是在讲同样的东西，但您的教学方式让我很适应，学起来也很有兴趣，大大减轻了我考研的疲劳感。 第一章 引 论 翻译器、编译器、解释器 编译器从逻辑上可以分成若干阶段 每个阶段把源程序从一种表示变换成另一种表示 通过描述编译器的各个阶段来介绍编译这个课题 第一章 引 论 第一章 引 论 第一章 引 论 表达式的语法特征 任何一个标识符都是表达式； 任何一个数都是表达式； 如果e1和e2都是表达式，那么 ? e1 + e2 ? e1 * e2 ? (e1) 也都是表达式 第一章 引 论 第一章 引 论 第一章 引 论 第一章 引 论 第一章 引 论 第一章 引 论 第一章 引 论 第一章 引 论 第一章 引 论 第一章 引 论 BASIC语言年代解释器 功能：它将高级语言的源程序翻译成一种中间语言程序，然后对中间语言程序进行解释执行 在那个年代，编译和解释两个功能是合在一个程序中，该程序被称为解释器 Java语言年代解释器 解释器的上述两个功能分在两个程序中 前一个编译器，它把源程序翻译成一种叫做字节码的中间语言程序 后一个叫做解释器，它对字节码程序进行解释执行 第一章 引 论 第一章 引 论 第二章 词法分析 本章内容 词法分析器：把构成源程序的字符流翻译成记号流，还完成和用户接口的一些任务 围绕词法分析器的自动生成展开 介绍正规式、状态转换图和有限自动机概念 2.1 词法记号及属性 2.1.1 词法记号、模式、词法单元 词法记号 词法单元例举 模式的非形式描述 var var var for for for relation , = , = , … 或 = 或 = 或 … id sum, count, D5 由字母开头的字母数字串 num 3.1, 10, 2.8 E12 任何数值常数 literal “seg. error” 引号“和”之间的任意字符 串，但引号本身除外 2.1