绪论 课程信息 为什么学习形式语言与自动机 形式语言与自动机概述及应用 课程内容及要求 College of Computer Science Technology
College of Computer Science & Technology 1 绪论 ◼ 课程信息 ◼ 为什么学习形式语言与自动机 ◼ 形式语言与自动机概述及应用 ◼ 课程内容及要求
课程性质 ◇专业基础课 上世纪60年代末、70年代初,研究的高峰 之后,向应用领域渗透,研究生课程 近几年,本科阶段的专业基础课 ◇专业工作者必须的理论素养 计算模型计算机(不)能够做什么 问题分类计算的复杂性,算法分析 形式系统建模工具(状态机…) 抽象描述形式文法、形式表达式 College of Computer Science Technology
College of Computer Science & Technology 2 专业基础课 − 上世纪 60 年代末、70年代初，研究的高峰 − 之后，向应用领域渗透，研究生课程 − 近几年，本科阶段的专业基础课 专业工作者必须的理论素养 − 计算模型 计算机（不）能够做什么 − 问题分类 计算的复杂性，算法分析 − 形式系统 建模工具（状态机 ） − 抽象描述 形式文法、形式表达式 课 程 性 质
相关嫘程 ◇先修课程 《离散数学》(《数理逻辑》,《集合论》) 计算机导论与程序设计、数据结构 ◇后续课程 《编译原理》 ◇其它相关课程 《模式识别》、《算法分析》 College of Computer Science Technology
College of Computer Science & Technology 3 相 关 课 程 先修课程 − 《离散数学》（《数理逻辑》，《集合论》） − 计算机导论与程序设计、数据结构 后续课程 − 《编译原理》 其它相关课程 《模式识别》、《算法分析》
参考教材: 形式语言与自动机 王柏杨娟编著 北京邮电大学出版社20031 College of Computer Science Technology
College of Computer Science & Technology 4 ◼ 参考教材： 形式语言与自动机 王柏 杨娟 编著 北京邮电大学出版社 2003.1
经典参考书 ◇书名 Introduction to Automata Theory Languages, and computation Second Edition ◇作者 John e. Hopcroft( Cornell Rajeev Motwani( Stanford) John E Hopcroft, Jefferey D. Ullman Stanford) the turing Award ◇出版社 Addison Wesley(2001) 清华大学出版社(影印版) ◇ First Edition中铎本《自酌机理论、语言和计 算导引》徐瑞等铎斛学出版牡,1990 College of Computer Science Technology
College of Computer Science & Technology 5 经 典 参 考 书 书名 Introduction to Automata Theory, Languages, and Computation （Second Edition） 作者 John E. Hopcroft （Cornell） Rajeev Motwani （Stanford） Jefferey D. Ullman （Stanford） 出版社 Addison Wesley （2001） 清华大学出版社（影印版） First Edition 中译本《自动机理论、语言和计 算导引》 徐美瑞 等译 科学出版社，1990 John.E.Hopcroft, the Turing Award winner in 1986