形式语言与自动机.ppt

形式语言与自动机 教材： 形式语言与自动机 (陈文宇 欧齐 程炼） 人民邮电出版社 参考书： 形式语言与自动机理论 （蒋宗礼 清华大学出版社） 形式语言与自动机 （陈有祺 南开大学出版社） 形式语言和自动机的理论是计算机科学的理论基础。这些理论来源于 (1) Chomsky对自然语言的研究； (2) ALGOL 60语言的语法描述方式； (3)Kleene对自动机的研究； 早在20世纪五十年代，在研究如何使“自然语言”符号化（即形式化）的过程中，产生并发展了“形式语言与自动机”的理论。不久，人们就发现该理论与计算机科学中所创立和使用的程序设计语言具有密切的关系（比如，可以用于描述程序设计语言的词法和语法规则）。从此以后，形式语言与自动机的理论和方法的研究，受到了越来越多科学家的重视。 形式语言和自动机的理论已经成为计算机科学的理论基础，其应用范围已被扩展到生物工程、自动控制系统、图象处理与模式识别等许多领域。 实际上，“形式语言与自动机”的理论除了在计算机科学领域中的直接应用外，对于计算机科学人才的计算思维能力的培养，具有重要作用。 形式化描述和抽象思维能力，逻辑思维方法。这种能力就是计算思维能力或计算机思维能力。 第1章 绪论 本章将对形式语言和有限自动机理论中所需的数学基础知识作扼要的介绍。内容包括集合及其运算、关系、证明的方法、图与树的概念；以及一些常用术语 和 形式语言与自动机的发展 。 第1章 绪论 1.1集合及其运算 1.2 关系 1.3 证明和证明的方法 1.4 图与树 1.5 语言 1.6 常用术语 1.7 形式语言与自动机的发展 1.1集合及其运算 一些没有重复的对象的全体称为集合(set)，而这些被包含的对象称为该集合的元素(element)。 集合中元素可以按任意的顺序进行排列。一般，使用大写英文字母表示一个集合。 列举法 对于元素个数较少的集合，可以采用列举法，即将集合的所有元素全部列出，并放在一对花括号中。例如集合A ={0，1，2，3，4，5，6，7，8，9}，表示集合A由0，1，2，3，4，5，6，7，8，9共10个元素组成。 命题法 对于集合元素较多的或者是由无穷多个元素组成的集合，可以使用集合形成模式{x | P(x)}进行描述，其中，x表示集合中的任一元素, P(x)是一个谓词，对x进行限定，{x | P(x)}表示由满足P(x)的一切x构成的集合。可以使用自然语言，或者数学表示法来描述谓词P(x)。 例如，{n | n是偶数}，或者 {n | n mod 2 = 0}，都表明了一个由所有偶数组成的集合。 集合的基数 如果集合A包含元素x（也称元素x在集合A中），记为x ? A。否则x ? A。 对于任意的有穷集合A，使用|A|表示该集合包含的元素的个数，也称基数或势。显然， |A| = 0 ? A = ? 。 如果一个集合中的元素个数是有限的，称该集合为有穷集合。如果一个集合包含的元素是无限的，称该集合为无穷集合。无穷集合又分为可数集(如自然数集，有理数集)和不可数集(如实数集)。 定义1-1 子集 设A, B是两个集合，如果集合A中的每个元素都是集合B的元素，则称集合A是集合B的子集，集合B是集合A的包集。记作A ? B，或B ? A。 设A, B是两个集合，如果A ? B ，且?x ? B，但x ? A，则称A是B的真子集，记作A ? B。 定义1-2 集合的运算 并，交，注意多个集合并、交的写法 差，注意它不要求两个集合存在子集关系 补集，论域的概念 几个结论 A = B iff A ? B且B ? A。 如果A是有穷集，且A ? B ，则|A| |B|。 对于无穷集，这个结论并不适用。如奇数集是自然数集的真子集，自然数集与奇数集之间存在一一对应关系，即它们的基数相等。该映射可表示为： f(x) = 2x-1 定义1-3 幂集 设A为一个集合，那么A的幂集为A的所有子集组成的集合，记为2A，即2A={B | B ? A}。 例如，集合A={1，2，3}，则A的幂集为: 2A={?，{1}，{2}，{3}，{1，2}，{1，3}，{2，3}，{1，2，3}}。 当集合A为有穷集时，如果集合A包含的元素个数为n，那么集合2A的元素个数(集合A的所有子集的个数)为2n，这就是称2A为集合A的幂集的原因。 定义1-4 笛卡儿积 集合A和B的笛卡儿乘积使用A ? B表示（也简记为AB） A ? B = {(a, b) | a ? A 且 b ? B}。 例 设A = {a, b, c}, B = {0, 1}, 则A ? B ={(a, 0), (a, 1), (b, 0), (b, 1