形式语言与动机week1-Introduction(张雷注).ppt

fall 2001 Formal Languages and Automata 课程名称 形式语言与自动机 教师姓名 张雷 （计算机学院 通信软件工程中心） 电话 6228 3791 Office 教三楼 616 信箱 zlei@ 讲义教案 绪论 课程信息 为什么学习形式语言与自动机 形式语言与自动机概述及应用 课程内容及要求 课 程 性 质 教材： 形式语言与自动机 王柏 杨娟 编著 北京邮电大学出版社 2003.1 经 典 参 考 书 其它参 考 书 2、为什么学习形式语言与自动机 形式语言与自动机是计算机科学的基础理论之一，是计算机学科的专业基础课。 在人工智能、电信领域等有广泛的应用。 通过一些定理的证明和应用，对大家进行思维训练，从而为今后学习通信软件，协议工程，编译技术，人工智能等内容提供理论基础。 2、为什么学习形式语言与自动机 对客观世界的科学研究：目的在于把抽象数学的形式化体系发展成为与现实生活相似的理论模型，从而提供一种通用结构来描述、理解和解决问题。 计算机科学：是关于计算知识的有系统的整体。 2、为什么学习形式语言与自动机 计算机科学的两个主要部分： 构成计算基础的一些基本概念和模型； 设计计算系统(软件和硬件)的工程技术（设计理论的应用） 本课程着重介绍第一部分（涉及到一些第二部分的应用），通过形式化技术对大家进行思维训练，为今后的学习打好理论基础。 3、形式语言与自动机概述及应用 本门课程将围绕着什么是形式语言、什么是自动机、以及形式语言和自动机的相互关系进行阐述。 核心内容 有限状态自动机，正规语言，正规表达式 上下文无关文法，上下文无关语言，下推 自动机 图灵机，计算问题分类 3.1 形式语言 什么是形式语言 形式语言: 形式化描述的字母表上的字符串的集合。 字母表：字符的有限集合。 e.g.：26个英文字母构成的字母表。 字符串：字母表中的字符构成的有限序列。 e.g. hello, afjhkfyu 为什么用形式语言 自然语言：人们平时说话时所使用的一种语言，不同的国家和民族有着不同的语言。 形式语言 通过人们公认的符号，表达方式所描述的一种语言，是一种通用语言，没有国籍之分。 形式语言是某个字母表上的字符串的集合，有一定的描述范围。 为什么用形式语言 例1： 汉语： 主 谓 宾 ―― 用数字、符号等形式化的东西来描述语言 我吃饭 ―― 语法正确 我饭吃 ―― 语法错误 饭吃我 ―― 语法正确，语义错误 为什么用形式语言 例2：T为PASCAL语言所用的全部符号的集合。 正确的PASCAL程序就是T上的语言。 例3：在字母表T={a}上，L = {a 2n+1 | n =0 } 表示任意一对aa (包括0对) 后跟一个a的字符串。（即含有奇数个a的字符串。） 为什么用形式语言 形式语言的最初起因： 语言学家（Chomsky）想用一套形式化方法来描述语言。 形式语言在自然语言研究中起步，在计算机科学中得到广泛应用。 最初的应用：编译 ―― 让计算机按照语法规则将高级语言方便地翻译成机器语言。 为什么用形式语言 现在： 已广泛应用在人工智能、图象处理、通信协议、通信软件等多个领域 在计算机理论科学方面： 是可计算理论（算法―在有限步骤内求得解、算法复杂性、停机问题、）、定理自动证明、程序转换（程序自动生成）、模式识别等的基础。 为什么用形式语言 比尔.盖茨：人类计算的未来是让计算机能够看、听、学，能用自然语言与人类交流 形式化非常重要 3.2. 自动机 什么是自动机？ 具有离散输入输出的数学模型。包括： 输入装置 读头+输入带 控制部件。 状态转移 存储单元 大量通信软件的基本工作机制都是有限状态自动机。自动机理论在通信领域中的应用极为广泛。 3.2. 自动机 自动机接受一定的输入，执行一定的动作，产生一定的结果。使用状态迁移描述整个工作过程。 状态：一个标识，能区分自动机在不同时刻的状况。有限状态系统具有任意有限数目的内部“状态” 自动机的本质：根据状态、输入和规则决定下一个状态 状态 ＋ 输入（激励）＋ 规则 ― 状态迁移 为什么叫自动机？ 可能的状态、运行的规则都是事先确定的。一旦开始运行，就按照事先确定的规则工作，因此叫“自动机”。 有限自动机可以认为是由一个带有读头的有限控制器和一条写有字符的输入带组成。 自动机举例 例1：打电话 (自动机在通信领域的应用)。 在一次呼叫中，从建立连接到通话完毕，要经历摘机，拨号，应答，进行通话等过程，可以分别用四个状态来表示。 自动机举例 例2：