原创力文档- 1、原创力文档（book118）网站文档一经付费（服务费），不意味着购买了该文档的版权，仅供个人/单位学习、研究之用，不得用于商业用途，未经授权，严禁复制、发行、汇编、翻译或者网络传播等，侵权必究。。
- 2、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。如您付费，意味着您自己接受本站规则且自行承担风险，本站不退款、不进行额外附加服务；查看《如何避免下载的几个坑》。如果您已付费下载过本站文档，您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等，请点击“版权申诉”（推荐），也可以打举报电话：400-050-0827(电话支持时间：9:00-18:30)。
- 4、该文档为VIP文档，如果想要下载，成为VIP会员后，下载免费。
- 5、成为VIP后，下载本文档将扣除1次下载权益。下载后，不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后，您将拥有八大权益，权益包括：VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传，每下载1次， 网站将根据用户上传文档的质量评分、类型等，对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
* * College of Computer Science Technology, BUPT 根据结构不同，自动机又可分为有限自动机，下推自动机，图灵机等。 下推自动机可以看作是由一条输入带，一个有限控制器和一个下推栈组成。 基本图灵机由一个具有读写头的有限控制器和一条无限带组成。 使用自动机，可以形式化的描述现实世界中的一些问题。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile . Copyright 2004-2011 Aspose Pty Ltd. * * College of Computer Science Technology, BUPT 3．形式语言与自动机的关系 形式语言和自动机是密切相关的。 形式语言 ―― 字符串 自动机 ―― 字符串的识别系统 根据复杂程度可将形式语言分类，根据自动机的接受能力、处理能力的不同也将自动机分类。二者之间具有较好的对应关系。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile . Copyright 2004-2011 Aspose Pty Ltd. * * College of Computer Science Technology, BUPT Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile . Copyright 2004-2011 Aspose Pty Ltd. * * College of Computer Science Technology, BUPT 语言与有限自动机（Finite Automata） 设 ? = ? 0, 1 ?， L = ? w ? w 中至少有一个0 ?， 如 0011, 10, 110111 ? L, 而11, ?, 1111 ? L。 下图是一个可接受该语言的有限状态自动机? Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile . Copyright 2004-2011 Aspose Pty Ltd. * * College of Computer Science Technology, BUPT 小结 文法是定义语言的一个数学模型，而自动机可看作是语言的识别系统。 通过对一些定理的证明，说明对于一个文法产生的语言，可以构造相应自动机接受该语言：一个自动机接受的语言，可以构造对应的文法产生该语言。一定类型的自动机和某种类型的文法具有等价性。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile . Copyright 2004-2011 Aspose Pty Ltd. College of Computer Science Technology, BUPT * * College of Computer Science Technology, BUPT Formal Languages and Automata 课程名称 形式语言与自动机 教师姓名 杨娟 （计算机学院 软件工程中心） 电话 6228 3779 信箱 yangjuan@ Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile . Copyright 2004-2011 Aspose Pty Ltd. * * College of Computer Science Technology, BUPT 绪论 课程信息 为什么学习形式语言与自动机 形式语言与自动机概述及应用 课程内容及要求 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile . Copyright 2004-2011 Aspose Pty Ltd. * * College of Computer Science Technology, BUPT 专业基础课 上世纪 60 年代末、70年代初，研究的高峰 之后，向应用领域渗透，研究生课程 近几年，本科阶段的专业基础课 专业工作者必须的理论素养 计算模型 计算机（不）能够做什么 问题分类
文档评论（0）