《计算理论基础》课程教学大纲（本科）.docVIP

计算理论基础 （Induction to the Theory of Computation） 课程代码学分：2.0 学时：32 （其中：课堂教学学时：32 实验学时：0 上机学时：0 ） 先修课程：离散数学，程序设计基础 适用专业：信息安全 教材：《计算理论导引》，Michael Sipser著，段磊，唐长杰等译，机械工业出版社，2016年10月第1版 一、课程性质与课程目标 （一）课程性质 《计算理论基础》是专业基础课、必修课。计算理论基础讨论了计算机科学中的纯粹、引人注目并且普遍存在的基本内容，介绍构成基本计算范例的基本概念、模型、技巧、结果，阐述当今计算机科学家用于建模、讨论和预测算法与计算的思想概念与数学知识。 （二）课程目标 1.知识方面 课程目标1.1：掌握自动机等基本计算模型及其演绎模型的形式化描述。 课程目标1.2：掌握构造能够识别语言的自动装置的基本方法。 课程目标1.3：掌握能够证明语言特性的基本证明方法。 课程目标1.4：了解计算模型在应用领域的广泛应用。 2.能力与素质方面 课程目标2.1：能够针对信息系统的运行过程演绎其对应的计算模型。 课程目标2.2：能够针对简单信息系统设计其对应的计算模型，并理解模型的不足。 课程目标2.3：能够基于计算模型为信息系统的设计与测试提供指导。 （三）课程目标与专业毕业要求指标点的对应关系 本课程支撑专业培养计划中毕业要求指标点1-4,2-2,4-1。 1.毕业要求1-4：能将数学、自然科学、工程基础和专业知识运用到复杂工程问题的表述中。 2.毕业要求2-2：借助文献辅助，具备对复杂工程问题进行识别、表达、建模、求解的能力，以及对分析结论进行有效性评价的能力。 3.毕业要求4-1：掌握针对复杂工程问题设计实验的科学方法。 毕业要求指标标点 课程目标 毕业要求1-4 毕业要求2-2 毕业要求4-1 课程目标1.1 √ 课程目标1.2 √ 课程目标1.3 √ √ 课程目标2.1 √ √ 课程目标2.2 √ √ 课程目标2.3 √ 二、课程内容与教学要求 第一章 有穷自动机和正则语言 本章支持课程目标：1.1 掌握自动机等基本计算模型及其演绎模型的形式化描述；1.2 掌握构造能够识别语言的自动装置的基本方法；1.3 掌握能够证明语言特性的基本证明方法；1.4 了解计算模型在应用领域的广泛应用；2.1 能够针对信息系统的运行过程演绎其对应的计算模型；2.2 能够针对简单信息系统设计其对应的计算模型，并理解模型的不足；2.3 能够基于计算模型为信息系统的设计与测试提供指导。 （一）课程内容 （1）有穷自动机。（讲授） （2）正则语言和正则运算。（讲授） （3）非确定性与非确定型有穷自动机。（讲授） （4）NFA、DFA的等价行与正则运算的封闭性。（讲授+课堂练习） （5）正则表达式。（讲授+课堂练习） （6）正则语言的泵引理与非正则语言。（讲授+课堂练习） 教学要求 理解有穷自动机的形式化定义与运行过程。 掌握有穷自动机的构造技术。 掌握正则语言的运算及其封闭性。 理解非确定型自动机的运行过程。 理解确定型有穷自动机与非确定型有穷自动机之间的等价性。 掌握构造与非确定型有穷自动机之间等价的自动机的方法。 掌握基于自动机的正则语言运算的封闭性证明技术。 掌握正则语言与有穷自动机之间的等价性。 掌握证明非正则语言的基本技术。 （三）重点与难点 1.重点 有穷自动机的构造技术、正则语言的运算及其封闭性、构造与非确定型有穷自动机之间等价的自动机的方法、基于自动机的正则语言运算的封闭性证明技术、证明非正则语言的基本技术。 2.难点 有穷自动机的构造技术、构造与非确定型有穷自动机之间等价的自动机的方法、证明非正则语言的基本技术。 第二章 上下文无关语言与下推自动机 本章支持课程目标:1.1 掌握自动机等基本计算模型及其演绎模型的形式化描述；1.3 掌握能够证明语言特性的基本证明方法；1.4 了解计算模型在应用领域的广泛应用；2.1 能够针对信息系统的运行过程演绎其对应的计算模型；2.2 能够针对简单信息系统设计其对应的计算模型，并理解模型的不足。 （一）课程内容 （1）上下文无关文法。(讲授) （2）设计上下文无关文法与乔姆斯基范式。(讲授+课堂练习) （3）下推自动机。(讲授) （4）与上下文无关文法的等价性。(讲授+课堂练习) （5）非上下文无关语言。(讲授+课堂练习) （二）教学要求 （1）掌握上下文无关文法的形式化定义。 （2）掌握基于文法的语言派生过程。 （3）理解乔姆斯基范式。 （4）掌握下推自动机的形式化定义及其运行过程。 （5）理解下推自动机与上下文无关文法的等价性。 （6）掌握非上下文