当前位置:高等教育资讯网  >  中国高校课件下载中心  >  大学文库  >  浏览文档

电子科技大学:《有限自动机理论 Finite Automata Theory》课程教学资源(课件讲稿)第04章 正则语言(简化版)

资源类别:文库,文档格式:PDF,文档页数:13,文件大小:265KB,团购合买
点击下载完整版文档(PDF)

右线性语言,正则集和FSL是等价的, 从不同的角度来对语言进行的描述: 右线性文法产生右线性语言; ·通过运算得到正则集; 有限状态自动机DFA(或NFA)接收 FSLo

l 右线性语言,正则集和FSL是等价的, 从不同的角度来对语言进行的描述: l 右线性文法产生右线性语言; l 通过运算得到正则集; l 有限状态自动机DFA(或NFA)接收 FSL

定理 &-NFA的开始状态可以仅有 一个 &-NFA的接收状态可以仅有一个

定理 -NFA的开始状态可以仅有一个 -NFA的接收状态可以仅有一个

思路 f S1 ● ●●●●●● : ● S四 f

思路 s1 f1 sm …… fn ……

改造为 f S d S ● ●●●●●● F ● Sm f

改造为 s1 sm S …… F f1 fn  …… 

推广 FA(DFA、NFA)可以仅有 一个开始状态和一个接收状态

推广 FA(DFA、NFA)可以仅有 一个开始状态和一个接收状态

定理 FSL对于联合、连接和迭代 三种运算是有效封闭的

定理 FSL对于联合、连接和迭代 三种运算是有效封闭的

分别接收语言L1和L2的FA M 41 ●●● fi M2 92 ●●●

分别接收语言L1和L2的FA … M1 q1 f1 … M2 q2 f2

联合:构造FA M 41 6 8 Jo f0 M2 42

… 联合:构造FA q0  f0 M1 q1 f1  M2 q2 f2   …

连接:构造FA M M2 41 ●●● 42 · fh

连接:构造FA f2 M1 q1 f1  M2 … q2 …

迭代:构造FA 8 M E 40 f 8

迭代: 构造FA f0 M1 q1 f1   q0   …

点击下载完整版文档(PDF)VIP每日下载上限内不扣除下载券和下载次数;
按次数下载不扣除下载券;
24小时内重复下载只扣除一次;
顺序:VIP每日次数-->可用次数-->下载券;
共13页,试读已结束,阅读完整版请下载
相关文档

关于我们|帮助中心|下载说明|相关软件|意见反馈|联系我们

Copyright © 2008-现在 cucdc.com 高等教育资讯网 版权所有