编译原理 教学大纲作者 王生原 董渊 杨萍 张素琴 形式语言与自动机 王生原.docVIP

1、课程基本情况 课程编号学分 2 学时 32 开课学期 三年级 秋季学期 课程名称 形式语言与自动机 Formal Languages and Automata 课程定位 任何信息处理与计算问题都可归结为对语言的处理。形式语言与自动机理论从语言处理的角度揭示计算的本质，在计算机科学领域有着重要的地位与作用，对于计算机专业学生的知识结构及其发展潜力有深刻的影响。 本课程是计算机专业基础课，主要讲授理论和应用中的常用语言类及其相应的计算模型，以及计算模型之间的联系。课程旨在培养计算机科学理论方面的素养，提高逻辑思维和解决相关问题的能力，为学生在后续专业课程的学习以及今后从事科学研究或技术开发工作打下扎实的基础。 课程简介 课程内容以实践中应用较多的正规语言和上下文无关语言及其计算模型为主，以图灵机和计算理论初步为辅，主要包括： （1）正规语言的计算模型（正规表达式，确定有限自动机；非确定有限自动机，带(-转移的非确定有限自动机），它们之间的联系，正规语言的基本性质，以及相关的算法。 （2）上下文无关语言的计算模型（上下文无关文法，下推自动机），它们之间的联系，上下文无关语言的基本性质，以及相关的算法。 （3）图灵机计算模型。 （4）可计算性和计算复杂性理论的初步知识。 教学要求 要求学生： （1）深刻领会课程涉及到的语言以及计算模型的概念和作用，明确它们之间的联系。 （2） 教学特色 本课程有以下特色： （1）突出重点知识学习，兼顾知识结构的完整全面。 （2）每一讲为单位突出一个主题，按照知识点的逻辑关系组织课堂教学内容，与编译原理等后续课程相呼应。 （3）课后练习区分必做题和思考题两个层次，前者可以保证课程学习过程中必备知识点和基本技能的掌握，使学生初学时不必过早耗费较多的时间和精力。 课程类型 □数学与自然科学基础课 ?专业基础课 □专业核心课 □专业选修课 □实践课 教学方式 (单选) ?讲授为主 □实验/实践为主 □专题讨论为主 □案例教学为主 □自学为主 □其它（ 为主） 授课语言 (单选) ?中文 □中文＋英文（英文授课比例 %） □英文 □其它外语 考核方式 (单选) ?考试 □考查 □考试+考查 成绩评定标准 书面作业10% + 期中考试20% + 期末考试70% 教材及 主要参考资料 教材： John E. Hopcroft, Rajeev Motwani, Jefferey D. Ullman, Introduction to Automata Theory, Languages, and Computation（Edition）Addison Wesley, 2006. （机械工业出版社影印，2007） 主要参考资料： [1] Peter Linz，An Introduction to Formal Language and Automata（Edition） 先修课程 离散数学（I），离散数学（II） CC200X相关知识领域 CE—ALG/CS—AL，CE—DIG，CE—PRF/CS—PF，CE—SWE/CS—SE，CE—DSC/CS—DS，CS—PL，CS—IS，SE—CMP，SE—FND，SE—MAA，SE—DES，SE—VAV，SE—EVL，SE—PRO，SE—QUA，SE—MGT 2、教学内容 第1讲 课程概述及预备知识 预备知识（字母表，字符串，关于字符串的运算，字母表上的运算，语言，关于语言的运算）；常用证明技术（基本证明方法，归纳证明方法） 第2讲 上下文无关文法与上下文无关语言 上下文无关文法的基本概念；归约与推导；上下文无关语言；文法与语言的 Chomsky 分类；语法分析树；归约、推导与分析树之间关系；文法和语言中的二义性 第3讲 正规表达式与正规语言 正规表达式；正规语言；正规表达式的代数性质 第4讲 有限状态自动机 确定有限自动机；非确定有限自动机；带(-转移的非确定有限自动机；三类有限自动机之间的等价性；子集构造法；（确定）有限自动机的最小化 第5讲 有限状态自动机与正规表达式的等价性 从正规表达式构造等价的( – NFA（Thompson 构造法）；从确定有限自动机构造等价的正规表达式（Kleene 构造法，状态消去法） 第6讲 正规语言的性质与运算 针对正规语言的 Pumping 引理；应用Pumping 引理证明某个语言不是正规语言；有关正规语言的几个判定性质（是否为空，是否含特定串，相等性）；关于正规语言的封闭运算（并，补，交，差，反向，星闭包，连接，同态，反同态） 第7讲