NFA的确定化(青年教师教学竞赛)综述.ppt

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

不确定的有穷自动机的确定化算法 闫新宝 b S U V Q a a a b a,b b DFA:确定的有穷自动机 NFA:不确定的有穷自动机 NFA确定化算法: 假设NFA N=(K, ?,f,K0,Kt)按如下办法构造一个DFA M=(S, ?,d,S0,St),使得NFA N 与DFA M 等价。 1. M的状态集S由K的一些子集组成。用[S1 S2... Sj]表示S的元素,其中S1, S2,,... Sj是K的状态。并且约定,状态S1, S2,,... Sj是按某种规则排列的,即对于子集{S1, S2}={ S2, S1,}来说,S的状态就是[S1 S2]; 2 M和N的输入字母表是相同的,即是?; 3 转换函数是这样定义的: d([S1 S2,... Sj],a)= [R1R2... Rt] 其中 {R1,R2,... , Rt} = ?-closure(move({S1, S2,,... Sj},a)) 4 S0=?-closure(K0)为M的开始状态; 5 St={[Si Sk... Se],其中[Si Sk... Se]?S且{Si , Sk,,... Se}?Kt??} 定义对状态集合I的几个有关运算: 1. 状态集合I的ε-闭包,表示为ε-closure(I),定义为一状态集,是状态集I中的任何状态S经任意条ε弧而能到达的状态的集合。 状态集合I的任何状态S都属于ε-closure(I)。 2. 状态集合I的a弧转换,表示为move(I,a)定义为状态集合J,其中J是所有那些可从I中的某一状态经过一条a弧而到达的状态的全体。 状态集合I的有关运算的例子 I={1}, ?-closure(I)={1,2}; I={5}, ?-closure(I)={5,6,2}; move({1,2},a)={5,3,4} ?-closure({5,3,4})={2,3,4,5,6,7,8}; 1 2 5 3 4 6 8 7 a a ? ? ? ? ? a 构造NFA N的状态K的子集的算法: 假定所构造的子集族为C,即C= (T1, T2,,... TI),其中T1, T2,,... TI为状态K的子集。 1 开始,令?-closure(K0)为C中唯一成员,并且它是未被标记的。 2 while (C中存在尚未被标记的子集T)do { 标记T; for 每个输入字母a do { U:= ?-closure(move(T,a)); if U不在C中 then 将U作为未标记的子集加在C中 } } NFA的确定化 例子 4 f 3 5 6 2 1 i ? ? ? ? a a a a b b b b 4 f 3 5 6 2 1 i ? ? ? ? a a a a b b b b ? Ia Ib 等价的DFA a C D B A E F S b a a a a a b b b b b a b F * * * *

文档评论(0)

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

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

版权声明书
用户编号:8133070117000003

1亿VIP精品文档

相关文档