形式语言与自动机-Read.PPT

fall 2001 Formal Languages and Automata 课程名称 形式语言与自动机 教师姓名 王柏 （计算机学院 通信软件工程中心） 电话 6228 3774 Office 教三楼 616 信箱 wangbai@ 绪论 课程信息 为什么学习形式语言与自动机 形式语言与自动机概述及应用 课程内容及要求 课 程 性 质 教材： 形式语言与自动机 王柏 杨娟 编著 北京邮电大学出版社 2003.1 经 典 参 考 书 其它参 考 书 为什么学习形式语言与自动机 形式语言与自动机是计算机科学的基础理论之一，是计算机学科的专业基础课。 在人工智能、电信领域等有广泛的应用。 通过一些定理的证明和应用，对大家进行思维训练，从而为今后学习通信软件，协议工程，编译技术，人工智能等内容提供理论基础。 对客观世界的科学研究：目的在于把抽象数学的形式化体系发展成为与现实生活相似的理论模型，从而提供一种通用结构来描述、理解和解决问题。 计算机科学：是关于计算知识的有系统的整体。 计算机科学的两个主要部分： 构成计算基础的一些基本概念和模型； 设计计算系统(软件和硬件)的工程技术（设计理论的应用） 本课程着重介绍第一部分（涉及到一些第二部分的应用），通过形式化技术对大家进行思维训练，为今后的学习打好理论基础。 形式语言与自动机概述及应用 本门课程将围绕着什么是形式语言、什么是自动机、以及形式语言和自动机的相互关系进行阐述。 核心内容 有限状态自动机，正规语言，正规表达式 上下文无关文法，上下文无关语言，下推 自动机 图灵机，计算问题分类 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）想用一套形式化方法来描述语言。 形式语言在自然语言研究中起步，在计算机科学中得到广泛应用。 最初的应用：编译 ―― 让计算机按照语法规则将高级语言方便地翻译成机器语言。 现在： 已广泛应用在人工智能、图象处理、通信协议、通信软件等多个领域 在计算机理论科学方面： 是可计算理论（算法―在有限步骤内求得解、算法复杂性、停机问题、）、定理自动证明、程序转换（程序自动生成）、模式识别等的基础。 比尔.盖茨：人类计算的未来是让计算机能够看、听、学，能用自然语言与人类交流 形式化非常重要 例1：微软对联软件 网址：? /?? 例2：图灵测试 图灵测试 (1) 问：请给我写出有关“第四号桥”主题的十四行诗。 答：不要问我这道题，我从来不会写诗。 问：34957加70764等于多少？ 答：（停30秒后）105721 问：你会下国际象棋吗？ 答：是的。 问：我在我的K1处有棋子K；你仅在K6处有棋子K，在R1处有棋子R。现在轮到你走，你应该下那步棋？ 答：（停15秒钟后）棋子R走到R8处，将军！ 图灵测试 (2) 问：你会下国际象棋吗？ 答：是的。 问：你会下国际象棋吗？ 答：是的。 问：请再次回答，你会下国际象棋吗？ 答：是的。 图灵测试 (3) 问：你会下国际象棋吗？ 答：是的。 问：你会下国际象棋吗？ 答：是的，我不是已经说过了吗？ 问：请再次回答，你会下国际象棋吗？ 答：你烦不烦，干嘛老提同样的问题。 在线图灵测试网址 Artificial solution / Alice /pandora/talk?botid=f5d922d97e345aa1 Elbot /cgi-bin/elbot.cgi 2. 自动机 什么是自动机？ 具有离散输入输出的数学模型。 大量通信软件的基本工作机制都是有限状态自动机。自动机理论在通信领域中的应用极为