形式语言与自动机-绪论技术总结.ppt

* * College of Computer Science Technology, BUPT 根据结构不同，自动机又可分为有限自动机，下推自动机，图灵机等。 下推自动机可以看作是由一条输入带，一个有限控制器和一个下推栈组成。 基本图灵机由一个具有读写头的有限控制器和一条无限带组成。 使用自动机，可以形式化的描述现实世界中的一些问题。 * * College of Computer Science Technology, BUPT 3．形式语言与自动机的关系 形式语言和自动机是密切相关的。 形式语言 ―― 字符串 自动机 ―― 字符串的识别系统 根据复杂程度可将形式语言分类，根据自动机的接受能力、处理能力的不同也将自动机分类。二者之间具有较好的对应关系。 * * College of Computer Science Technology, BUPT * * College of Computer Science Technology, BUPT 语言与有限自动机（Finite Automata） 设 ? = ? 0, 1 ?， L = ? w ? w 中至少有一个0 ?， 如 0011, 10, 110111 ? L, 而11, ?, 1111 ? L。 下图是一个可接受该语言的有限状态自动机? * * College of Computer Science Technology, BUPT 小结 文法是定义语言的一个数学模型，而自动机可看作是语言的识别系统。 通过对一些定理的证明，说明对于一个文法产生的语言，可以构造相应自动机接受该语言：一个自动机接受的语言，可以构造对应的文法产生该语言。一定类型的自动机和某种类型的文法具有等价性。 * * College of Computer Science Technology, BUPT 课程内容及要求 课程内容： 书上二、三、四、五章。 要求：通过本课学习，要求同学们掌握形式化描述方法，建立起形式语言与自动机的概念，并能在实际中加以应用。 通过对定理的证明，对同学们进行思维训练，并掌握一定的证明方法。 * * College of Computer Science Technology, BUPT 证 明 技 术* 基本证明方法 归纳证明技术 * 引自清华大学计算机系软件技术研究所王生原老师课件 * * College of Computer Science Technology, BUPT 演 绎 证 明 概念 一个 证明（proof）是命题的序列，其中的每一个命题或者是已知的命题，或者是由前面出现过的命题使用逻辑公理和规则得出. 已知的命题集合称为假设（hypothesis）或前提（premise），最后一个命题称为该前提的结论（conclusion）. * * College of Computer Science Technology, BUPT “If – Then”命题 证明方法 把 If 部分作为已知的命题，把 Then 部分作为结论. 举例 如果x+y=1，那么x2-y2=x-y. 证明: 1 x2-y2 = (x+y)(x-y) // 数学公理 2 (x+y) = 1 // 已知 x2-y2 = x-y // 由1、2 和算术性质推出 * * College of Computer Science Technology, BUPT “If - And - Only - If ”命题 欲证 A if and only if B， 可分别证明如下两个命题： 1 if A then B， 2 if B then A. * * College of Computer Science Technology, BUPT 有关集合的命题 设 R, S 为集合. 欲证 R ? S， 可证明如下命题： if x?R then x?S 欲证 R = S， 可分别证明如下两个命题： 1 if x?R then x?S 2 if x?S then x?R * * College of Computer Science Technology, BUPT 原命题的逆否命题 有时，证明原命题的逆否(contrapositive) 命题更加方便. 欲证 if A t