第3章有限状态自动机2014.pptVIP

*;*;*;选物品;*;*;*;*;*;*;*;有限自动机的表示 ;（2）矩阵表示法;*;δ：Q×∑?Q，对?(q，a)∈Q×∑，;对于 δ(q0,0)= q1, δ(q1,1)= q2, δ(q2,0)= q3, δ’(q0,010) =δ(δ’ (q0,01),0) =δ(δ(δ’ (q0,0),1),0) =δ(δ(δ(δ’ (q0,ε),0) ,1),0) =δ(δ(δ(q0,0) ,1),0) =δ(δ(q1 ,1),0) =δ(q2 ,0) = q3;*;*;*;*;*;*;*;*;*;*;*;qs;确定有限自动机的程序设计 ;*;*;*;*;*;*;*;从NFA构造等价的DFA更为实用的方法是采取以下步骤： 从状态[q0]出发，通过状态转移函数δ′，逐步扩充状态集；每一步仅对状态集中新增加的状态，才写出状态转移函数；此过程一直继续下去，直到不再增加新的状态为止，最后就得到了DFA。; 第一步 从[q0]开始： δ′([q0],0)=[q0,q1], δ′([q0],1)=[q0,q2]。 第二步 处理两个新状态[q0,q1]和[q0,q2] ： δ′( [q0,q1],0)=[q0,q1,q3]， δ′( [q0,q1],1)=[q0,q2]； δ′( [q0,q2],0)=[q0,q1]， δ′( [q0,q2],1)=[q0,q2,q3]。第三步 处理新增加的两个状态[q0,q1,q3]和[q0,q2,q3] ： δ′([q0,q1,q3],0)=[q0,q1,q3], δ′([q0,q1,q3],1)=[q0,q2,q3]； δ′([q0,q2,q3],0)=[q0,q1,q3], δ′([q0,q2,q3],1)=[q0,q2,q3]。;*; 第一步 从[q0]开始： δ′([q0],0)=[q0,q3], δ′([q0],1)=[q0,q1]。 第二步 处理两个新状态[q0,q3]和[q0,q1] ： δ′( [q0,q3],0)=[q0,q3,q4]， δ′( [q0,q3],1)=[q0,q1]； δ′( [q0,q1],0)=[q0,q3]， δ′( [q0,q1],1)=[q0,q1,q2]。第三步 处理新增加的两个状态[q0,q3,q4]和[q0,q1,q2] ： δ′([q0,q3,q4],0)=[q0,q3,q4], δ′([q0,q3,q4],1)=[q0,q1,q4]； δ′([q0,q1,q2],0)=[q0,q3,q2], δ′([q0,q1,q2],1)=[q0,q1,q2]。;Q0;有限自动机的应用;在Web和其它在线文本库时代，一个常见的问题是，给定一个单词集合，查找包含一个（或全部）单词的所有文档。搜索引擎是完成这个任务的一个专门的软件，它对Web上出现的每个单词（大约有一亿种不同的英文单词），保存这个单词所有出现之处的列表。要用非常大的主存的计算机保持这些列表的最常见部分，以便随时可用，允许许多人在瞬间搜索这些文档。 虽然在搜索引擎中常用的倒排索引技术没有使用有穷自动机，但有许多有关的应用不适合使用倒排索引,但很适合于应用基于自动机的技术。;适合应用自动机技术来搜索的特征是： 所搜索的数据库快速变化。例如： （a）每一天，新闻分析员希望搜索当天在线的新闻文章来寻找有关话题。比如，金融分析员可能搜索他感兴趣的股票代码或公司名称。 （b）“采购机器人”软件希望搜索顾客要求的商品的当前价格。“机器人”从Web上获得当前的目录页面，然后搜索这些页面寻找提示具体商品价格的单词。 所搜索的文档不能建立目录。出于商业机密的考虑，有些公司（比如出版商）不愿意让人轻易发现本公司销售的所有书的所有页面。实际上，在响应查询的“一瞬间”才生成这些页面。;NFA;DFA;*;*;*;*;*;*;空闭包的定义 在一个有ε转移的有限穷自动机中，用ε-CLOSURE(q) 表示状态q的空闭包，它是下述定义的状态集： (1)q在ε-CLOSURE(q)中； (2)若p在ε-CLOSURE(q)中，则δ(p,ε)也都在ε-CLOSURE(q)中； (3)重复(2)，直到ε-CLOSURE(q)中状态不再增加为止。 从转移图上看，ε-CLOSURE(q)就是从状态q出发，沿着标有ε的有向边所能达到的一切状态所构成的集合（包括状态q本身）。;对于状态集P的ε-CLOSURE， ε-CLOSURE(P) = ε-CLOSURE(q)。;扩充转移函数 对于一个具有ε转移的有限穷自动机，它的扩充转移函数δ’定义如下： δ’ (q,ε)=ε-CLOSUR