auto1.pptVIP

Formal Language and Automata Theory 倪 子 伟 Computer Science Department Xiamen Universityzwni@xmu.edu.cn Textbook Introduction to Computer Theory Daniel I.A. Cohen References 形式语言与自动机理论 蒋宗礼 姜守旭 编著 清华大学出版社 计算机科学与技术强调4个方面的专业能力: 计算思维能力、算法设计与分析能力、程序设计与实现能力、计算机系统的认知、分析、设计和应用能力 这是计算机科学与其他学科的重要区别。相关的理论是计算机学科的基础, 理论方面的知识是计算机科学的真正灵魂。理论是从计算机应用当中抽象出来的, 目的在于使用抽象出的理论去更好地指导实践。 在本科阶段的学习过程中, 学生以观察、描述、比较、分类、推断、应用、思维等科学思维过程为主, 强调自学能力的再培养。 研究生阶段, 需要对学生进一步进行抽象思维、逻辑思维、创造思维能力的培养, 本科生与研究生的根本区别在于研究生的需要宽厚、坚实的理论基础。 建立物理符号系统并对其实施等价变换是计算机学科进行问题描述和求解的重要手段。 “可行性”所要求的“形式化”及其“离散特征”使得数学成为重要的工具, 而计算模型无论从方法还是工具等方面, 都表现出它在计算机科学中的重要作用。 计算机科学与技术学科要求从业者具有形式化描述和抽象思维能力, 掌握逻辑思维方法。这种能力就是计算思维能力。 计算机学科系统地研究信息描述和变换算法, 主要包括信息描述和变换算法的理论、分析、效率、实现和运用。学科的重要内容之一是研究计算领域中的一些普遍规律, 描述算法的基本概念与模型。 计算思维能力的培养主要是通过基础理论系列课程实现的, 该系列是由数学和抽象度较高的理论课程组成, 包括数学分析、高等代数、离散数学、数学建模、计算理论等课程。它们构成了对学生计算思维能力培养的一个阶梯训练系统。 在此系统中, 连续数学、离散数学、计算模型三部分内容按阶段分开。三个阶段对应计算机学科在本科和研究生学习期间的思维方式和能力变化的三个步骤, 使得计算思维能力不断提高。 计算理论是研究使用计算机解决计算问题的数学理论。有三个核心领域: 自动机理论、可计算性理论和计算的复杂性理论。 研究生阶段, 有三门课程与之分别队对应:《形式语言与自动机理论》、《可计算理论》和《算法分析》。 可计算性理论的中心问题是建立计算的数学模型, 进而研究哪些是可计算的, 哪些是不可计算的; 将问题分成可计算的和不可计算的。 计算的复杂性理论研究算法的时间复杂性和空间复杂性, 目标是把可计算的问题分成简单的和困难的。 自动机理论论述计算的数学模型的定义和性质, 这些模型在计算机科学的若干应用领域中起着重要作用, 其应用范围已被扩展到生物工程、自动控制系统、图像处理与模式识别等许多领域。 自动机理论是学习计算理论的良好起点, 不仅能提高感知能力, 同时也能提高思维的敏捷性, 考虑问题仔细、严谨、周密、有理有据; 可以由具体形象思维逐渐向抽象思维过渡, 从而促进逻辑思维和创造力的发展; 可以使逻辑思维过程清晰化、条理化、整体化, 有利于培养计算表达能力, 提高推理、判断、分析问题和解决问题的能力。 计算机研究生学习计算理论, 必须知其然更要知其所以然。不但要掌握题目的解题方法, 更要掌握解题思想。 计算机学科的方法论有三个过程: 抽象、理论和设计及实现。 最根本的问题在于: 问题如何进行描述? 哪些部分能够被自动化? 如何进行自动化描述? 计算理论并不神秘, 也不令人厌烦, 而是容易理解, 甚至是有趣的。计算理论中包括有许多迷人而重要的思想, 要体会、感悟思想的闪光, 并且体会大师们当初发现这些思想而获得的极大的乐趣。 当然, 它也有许多细小的、有时是枯燥乏味的细节。 理论课程的学习是一件艰苦的工作, 应该抓住思想, 而不要陷入细节的单调乏味之中。 Chapter 1 Background We are concerned with the Theory of Computers , which means we form several abstract mathematical models that will describe with varying degrees of accuracy parts of computers and types of computers and similar machines. Our models wi