计算的基本理论-华中科技大学研究生院.DOC

附件6． 计算机 学院（系、所）国际一流水平 研究生课程简介 (中英文各一份) 课程名称：计算的基本理论 课程代码：210.536 课程类型：□一级学科基础课 ■二级学科基础课 □其它： 考核方式： 考试 教学方式：讲授 适用专业：计算机学科各专业，包括信息安全 适用层次：■ 硕士 □ 博士 开课学期： 秋季 总学时：48(其中讲授40学时) 学分：3 先修课程要求：编译原理、离散数学 课程组教师姓名 职 称 专 业 年 龄 学术方向 崔国华 教授、博导 信息安全 63 信息安全 付才 副教授 信息安全 36 信息安全 彭冰 副教授 信息安全 40 信息安全 课程负责教师教育经历及学术成就简介： 崔国华，教授/博导1977年考入武汉大学数学系，1981年12月到华中科技大学任教至今，1994年评副教授，2000年评教授。863”课题和光华基金的709所“CO安全系统”等一系列信息安全保密课题及实用系统研发的主要负责人或完成人。在计算机学报、电子学报、华中科技大学学报等重要刊物上发表有关计算机信息安全的学术论文四十余篇。曾获党政机要科技进步三等奖，是国家网络安全标准化委员会WG3工作组成员。 课程教学目标： 通过本课程的学习，使学生掌握形式语言和自动机的基本概念、理论和算法，以及形式语言与自动机的关系；培养学生的抽象思维和形式描述能力，提高学生在系统分析、结构设计、工程实现等方面的设计技巧和理论分析能力；要求学生在掌握各种计算模型的基础上，具有发展新模型的能力，以及把计算模型和实际应用相结合的能力。转换的不确定有限自动机 第五章 右线性文法 §5.1 正规集与正则式 §5.2 右线性文法与正则集 §5.3 右线性文法与有限自动机 §5.4 右线性语言的性质 §5.5双向和有输出的有限自动机 §5.6 (研讨)正则语言的证明方法以及泵浦定理的应用 第六章 上下文无关文法以及下推自动机 §6.1 推导树与二义性 §6.2 上下文无关文法的变换 §6.3 上下文无关文法与下推自动机的等效性 §6.4 上下文无关语言的性质 §6.5 (研讨)上下文无关文法的构造技术 第七章 图灵机 §7.1 基本图灵机 §7.2 图灵机的构造技术 §7.3 图灵机与无限限制文法 §7.4 线性有界自动机与上下文有关文法 教材： 吴哲辉《形式语言与自动机理论》，北京，机械工业出版社，2007.4月J.Hopcroft,　J.D.Ullman,《Introduction to Automata Theory, Language and Computation》California, Addison-Wesley Publishing Company, 1979.（2002年清华，影印版） 2 ．刘田 译，自动机理论、语言和计算导论，机械工业出版社，2005 3．蒋宗礼，形式语言与自动机理论，清华大学出版社，2003