编译原理第三章自动机基础(2)讲述.pptVIP

【例3.6】有限自动机 ：FA=( Q,∑,S,F,? ) 其中: Q={1,2,3,4},∑={a,b,c}, S={1,2}, F={3，4} 3.2.3 有限自动机的两种表现形式 FA 的两种表现形式： ⑴ 状态图: ? ：δ(1,a)=2;δ(1,b)=4；δ(2,b)=2； δ(2,c)=3；δ(2,?)=3；δ(4,b)=4； ⑵ 变换表: ※ 变换表结构：行(状态),列(符号),表项(变换后状态) ① ② ③ ④ + - a b c b b - ? + 4 3 3 2 4 2 1 2 3 4 a b c ? + - - + 开始状态结束状态 ⑤ a b ④ 【例3.7】 A={ abnc,(ab)n|n≥0 } 或：变换函数不单值，如 一：开始状态不唯一,不好用! ( ?(1,a)=(2|4) ),仍不好用！ 方法一：联合式 方法二：组合式1 比较： 二：带有? 边，也不好用! 有好用的吗?! FA的构造： ※ 有限自动机的构造示例: ① ② ③ + a b c - ④ ⑤ + - a b ④ ⑤ + - a b ① ② ③ + a b c - ε 或 ① ② ③ + a b c - - 【例3.7】构造正规语言 ① ② ③ + a b c - ④ a ⑤ b a - - A={abnc,(ab)n|n≥0 } ① ② ③ + a b b - b ④ c ⑤ ⑥ ⑦ b - a a - - c c DFA: ※ 确定的有限自动机如右图所示： 方法三：确定式 ① ② ③ + a b b - b ④ c ⑤ ⑥ ⑦ b - a a - - c c DFA: ⒈ 确定的有限自动机(DFA) 特征：①开始状态唯一; ②变换函数单值；③不带?边。 ⒉ 非确定的有限自动机(NFA) ⑴ 带有?边的非确定的有限自动机(?NFA) ⑵ 不带有?边的非确定的有限自动机( NFA) -- 不能全部具备上述特征者！ ? 3.2.4 有限自动机的分类 要领：构造的同时，要考虑连接！ ※ 有限自动机的分类示例 ① ② ③ + a b - ? b ? FA1 ① ② ③ + a b - b b - - - 【例3.8 】试分别指出下述有限自动机的分类情况： FA2 ① ② ③ + a b c - ? ? FA3 ① ③ a b ④ c - + c c + ② ③ a b ④ c - + c b FA5 结论： DFA: FA2 NFA: FA4,FA5 FA1,FA3 (?NFA) FA4 ( NFA) ? 3.3 有限自动机的等价变换 有限自动机的等价变换,是指把FA1变换为FA2,且有 L(FA1)=L(FA2),主要包含以下两个内容： ⑴ 有限自动机的确定化( NFA=DFA); 非确定机（NFA）较易构造，但不好用！ 确定机 (DFA) 较难构造，但好用！ ※ 任何一非确定机NFA,皆可通过有效算法把其化为等价的确定机DFA。 ⑵ 有限自动机的化简( 最小化 ); ※ 对任何一确定机DFA1,皆可通过有效算法把其化为等价的另一个确定机DFA2,且DFA2的状态最少。 ⑶ 对剩余的?边，逆向逐一进行： 3.3.1 有限自动机的确定化 Ⅰ.消除 ? 边算法( ?NFA = ? NFA ⑴ 若存在?闭路，则把?闭路上各节点合而为一： ② a b c - ③ ④ ? ? ? ② a b c - ⑵ 标记隐含的开始态和结束态： 开始态的?通路上的节点：+ 结束态逆向?通路上节点：- ① 删除一个?边；同时 ② 引进新边 ： 凡由原?边终点发出的边，也要由其始点发出。 ⑷ 重复步骤⑶，直到再无?边为止。 ① ② + c b - b ③ ? ? + + - ② a b ③ ⑤ c ? 或 DFA ): ? b c ∴ { am,ambcn,amcn|m≥0,n≥1 } L( )= ? NFA ⑵ 标记隐含的开始态和结束态： L(?NFA)= ? ※ 消除?边算法示例： 【例3.9】考查?NFA ： ? ? ① ② ③ + a b ④ c - ? ? ⑴ ?闭路上的节点等价（ ） ① ② ? ⑶ 逆序逐一删除?边，同时引进新边： ④ + ③ + ， ① ③ a b ④ c - + ? ? - + ? NFA + ① ③ a b ④ c - + c - + + ① ③ a b ④ c - + ? - + + ,可合而为一； c ,_① c Ⅱ. 的确定化算法( =DFA ): ? NFA ? NFA ⑵ 按 ? NFA ?({qi1,…qin } ，ak)={qj1,…qjn} ⑶ 若{qj1,…qj