RG、FA、RE等相互之间的转换.pptVIP

一、概览 作业 三（3） P56 第2-24（1） 将正规式：(a|b)*a(a|b)转换为最简的确定有限自动机。 【解】 先转换为NFA： 注意：左线性和右线性文法的关系 左线性文法和右线性文法之间存在一定关系。 一个左线性文法GL存在一个等价的右线性文法GR。 一个右线性文法GR存在一个等价的左线性文法GL 。 可见，GL和GR是等价的，也就是说，给定一个右线性文法可以构造对应的左线性文法。同样，给一个左线性文法也可以构造一个右线性文法。 它们之间的等价关系： 例： 设左线性文法 Ｇ＝（ＶＮ，ＶＴ， S，Ｐ），其中: ＶＮ={A,B,S}  ＶＴ={0,1} P: S ∷＝A0|B1 A ∷＝0|1 B ∷＝0|1则L(GL)={00,01,10,11}。 由等价关系得: 则右线性文法 Ｇ＝（ＶＮ，ＶＴ，Ｐ，S）,其中: ＶＮ={A,B,S} ＶＴ={0,1} P: S ∷＝0A|1A |0B |1B A ∷＝0 B ∷＝1 则L(GR)={00,01,10,11}。 所以L(GL)= L(GR),说明左线性文法 和右线性文法 是等价的。 例1：NFA转换成DFA (符号合并) ③NFA确定为DFA过程： DFA的初态（为NFA的初始状态经过ε合并后的状态的并集）例：δ(S,ε)=; DFA的其它状态（ 为NFA的状态经过输入符号后产生的状态，再经过ε合并后的状态的并集）例：求δ(S,0)=？ δ(S,0)=A; δ(A,ε)=B; δ(B,ε)=C; δ(C,ε)=； DFA的终态（为所有含有NFA的终态的状态） NFA确定化过程： (初态、其它状态、终态) 三、DFA的化简 例2：设计一个DFA，其输入字母表是{0,1}，它能接受以0开始，以1结尾的所有序列。——化简 start I Ia Ib Ic {1,4} {2,3} φ φ {2,3} {2} {4} {3,4} {2} {2} {4} φ {4} φ φ φ {3,4} φ φ {3,4} 符号 状态 a b c 0 2 3 4 1 2 2 1 _ _ _ _ _ _ _ _ 3 3 4 4 DFA M’状态转换矩阵 将求得的状态转换矩阵重新编号 0 1 4 2 3 {1,4} {2,3} {4} {2} a c a b b c {3,4} “对于任一个DFA，存在一个唯一的状态最少的等价的DFA” 一个有限自动机是化简的 ? 它没有多余状态并且它的状态中没有两个是互相等价的。 一个有限自动机可以通过消除多余状态和合并等价状态而转换成一个最小的与之等价的有限自动机。 定义： (1) 有限自动机的多余状态：从该自动机的开始状态出发，任何输入串也不能到达那个状态。 0 1 s0 s1 s2 s3 s5 s7 s1 s5 s1 s2 s2 s5 s5 s1 s1 s3 s0 s1 例:s0为初始状态 画状态图可以看出s4, s6, s8为不可达状态应该消除 0 1 s0 s1 s2 s3 s4 s5 s6 s7 s8 s1 s5 s7 s2 s2 s5 s5 s7 s5 s6 s1 s3 s8 s0 s0 s1 s3 s6 (2)等价状态 状态s和t的等价条件是: 1) 一致性条件：状态s和t必须同时为可接受状态或 不接受状态. 2) 蔓延性条件：对于所有输入符号,状态s和t必须 转换到等价的状态里. 对于所有输入符号c，Ic(s)=Ic(t)，即状态s、t对于c具有相同 的后继，则称s，t是等价的。 （任何有后继的状态和任何无后继的状态一定不等价） 有限自动机的状态s和t不等价,称这两个状态是可区别的。 “分割法