电子科技大学：《有限自动机理论 Finite Automata Theory》课程教学资源（课件讲稿）第01章 基础知识（周益民）

有限自动机理论 周益民 计算机科学与工程学院 雄放大 4的 956

周益民 计算机科学与工程学院 有限自动机理论

教材： 有限自动机理论（2版) 陈文宇田玲程伟刘贵松 电子工业出版社2013.08 例 /956

教材： 有限自动机理论（2版） 陈文宇 田玲 程伟 刘贵松 电子工业出版社 2013.08

参芳书 形式语言与自动机理论（第2版） 蒋宗礼姜守旭清华大学出版社2007 形式语言与自动机 陈有祺机械工业出版社2008 /956

参考书 形式语言与自动机理论(第2版) 蒋宗礼 姜守旭 清华大学出版社2007 形式语言与自动机 陈有祺 机械工业出版社2008

参芳书 Introduction to Automata Theory,Languages,and Computation (Second Edition) 自动机理论、语言和计算导论 (John E.Hopcroft机械工业出版社) /956

参考书 Introduction to Automata Theory, Languages, and Computation (Second Edition) 自动机理论、语言和计算导论 （John E. Hopcroft 机械工业出版社）

理论来源 形式语言和自动机的理论来源于 (1)Chomsky对自然语言的研究； (2)ALGOL60语言的语法描述方式； (3)Turing、Kleene、Neumann、Huffman等对自动 机的研究。 (4)Chomsky的整合 /956

理论来源 形式语言和自动机的理论来源于 (1) Chomsky对自然语言的研究； (2) ALGOL 60语言的语法描述方式； (3)Turing、Kleene、Neumann、Huffman等 对自动 机的研究。 (4) Chomsky的整合

形式语言与自动机的作用 形式语言和自动机的理论已经成为计算机科学 的理论基础之一。 应用范围已被扩展到生物工程、自动控制系统 ，图像处理与模式识别等许多领域。 /956

形式语言与自动机的作用 形式语言和自动机的理论已经成为计算机科学 的理论基础之一 。 应用范围已被扩展到生物工程、自动控制系统 、图像处理与模式识别等许多领域

计算机学科的专业能力 计算思维能力 算法设计与分析能力 程序设计与实现能力 计算机系统的认知、分析、 设计和运用能力 1956

计算机学科的专业能力 计算思维能力 算法设计与分析能力 程序设计与实现能力 计算机系统的认知、分析、 设计和运用能力

计算思维能力 形式化描述（问题）能力 抽象思维能力 逻辑思维能力 /956

计算思维能力 形式化描述(问题)能力 抽象思维能力 逻辑思维能力

计算机学科的理论基础 统称为计算理论，包括 形式语言与自动机 可计算理论 计算复杂性理论 /956

计算机学科的理论基础 统称为计算理论，包括 形式语言与自动机 可计算理论 计算复杂性理论

研究生阶段 需要进一步进行抽象思维、逻辑思维、创造能力 的培养。 需要更宽厚、坚实的理论基础。 /956

研究生阶段 需要进一步进行抽象思维、逻辑思维、创造能力 的培养。 需要更宽厚、坚实的理论基础