孙老师的自动机讲稿.ppt

  1. 1、本文档共61页,可阅读全部内容。
  2. 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
  3. 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  4. 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
孙老师的自动机讲稿.ppt

孙家骕 TelEmail jsj@sei.pku.edu.cn 理科一号楼1509 北京大学计算机系 参考书及成绩评定 参考书:《Introduction to Automata Theory,Languages,and Computation》, John E.Hopcroft, Rajeev Motwani, Jeffrey D.Ullman 形式语言与自动机导论 Peter Linz 成绩评定:作业10%,期末考试90% 助教 赵新建 邮箱:zhaoxinjian@icst.pku.edu.cn 第一章 基础知识 1 引言 形式化方法式一种很有用的方法,它早在计算机出现之前就已经出现在数学、逻辑等学科中。其显著特点是简洁、严格、精确。 形式语言和自动机是形式化方法的一种。 基础知识(续) 1.1 形式语言 它是研究语言(包括计算机语言)和语法问题的形式化方法。也就是研究语言中句子的构成的形式化描述,不涉及语义问题。 按所研究的语法产生式规则的特点,乔姆斯基把语言分为四类:0、1、2、3型语言。 基础知识(续) 1.2 自动机 是一种控制结构,是抽象的计算机模型。早在电子计算机出现前的1936年,图灵就提出了图灵机的概念。 我们这里介绍的自动机主要用于符号串的识别。 基础知识(续) 1.3 形式语言和自动机密切相关 图灵机——0型语言 线性界限自动机——1型语言(上下文相关) 下推自动机——2型语言(上下文无关) 有穷自动机——3型语言(正规语言) 基础知识(续) 1.3 形式语言和自动机密切相关 形式语言的方法用来描述计算机程序设计语言的语法是十分方便的。1963年Naur等人用与上下文无关文法等价形式BNF范式系统的给出了ALGOL语言的语法定义 我们可以利用语言的形式化描述来构造编译程序,例如LEX、YACC等。 第二章 有穷自动机和正则表达式 2.1有穷状态系统 有穷状态系统是具有离散的输入和输出的系统的数学模型.该系统可处于它的有穷个状态中的任何一个.这些状态(或称为格局)概括了已输入的一些信息.而这些信息对于该系统在后来输入时应采取什么动作是必要的。 例如电梯的控制系统,编译程序的词法分析程序, 逻辑电路等都是实际的有穷状态系统。 第二章 有穷自动机和正则表达式 例 分油问题 :三个瓶E,F,T,容量依次是8,5,3升。T和F都为空,如何只用这三个容器,把8升油分装在E 和F内,且各4升. 且各瓶中酒必为整数升,这样状态数<9*6*4=216 第二章 有穷自动机和正则表达式 2.2确定的有穷自动机(DFA) 有穷控制器处于有穷状态中的第一个,带头注视到一个字母ai 时,可以发生状态的转变,且带头右移一格。 2.2DFA定义 定义一个DFA M 是一个5元组 M=(Q, ∑ , δ,q0,F) 其中Q:有限的状态集合(非空) ∑:用穷的字母表 δ:转移函数 ∑ q0:初始状态 F:终态集合 δ(q , a)=p, 2.2 扩充定义 δ为δ: (1)δ(q, ε)=q (2)δ(q,wa)= δ(δ(q,w), a) 若有 则称 x 为M所接受。 显然 δ(q,a)= δ(q,a)所以仍然用δ代替δ 2.2 M接受的语言认为L(M),其定义为 L(M)={x| } 例1 M=({q0,q1,q2,q3},{0,1}, δ,q0,{q0}) 0 1 q0 q2 q1 q1 q3 q0 q2 q0 q3 q3 q1 q2 L(a)={x| } 2.3非确定的有限自动机 在DFA中δ(q,a)=p,在状态转换图中,同一状态 不会射出多于1条的标记相同的弧。有时候为了标记上的方便及应用上的自然,会存在同一状态射出多条标记相同的弧,这种情况引入NFA 一个NFA M=(Q, ∑ , δ,q0,F), Q, ∑ , q0,F与DFA中的相应项相同 Q的幂集合 为了定义NFA接受的语言,对δ加以扩充 2.3非确定的有限自动机 扩充定义 (1)δ(q, ε)={q } (2)δ(q,wa)= {p|存在某个状态 } δ(q,a)= {p|存在 } iff 故 因此可以用δ代替δ

文档评论(0)

000 + 关注
实名认证
内容提供者

该用户很懒,什么也没介绍

1亿VIP精品文档

相关文档