计算理论课后习题答案（整理）.ppt

4．判断可区分状态对的算法 引理2-1 设M=(K,∑,δ,q0,F)是DFA，则状态对(p,q)是可区分 的(即p??q)，当且仅当在下面算法中(p,q)格写上×。 begin 1．for p∈F,q∈K-F, do 给(p,q)格写×； 2．for F×F或(K-F)×(K-F)中每个状态对(p,q) (p≠q)，do 3．if ?a∈∑，使得格(δ(p,a),δ(q,a))内已经写上×，then begin 4． 给(p,q)格写×； 5． 如果刚刚写上×的格内有先前写入的状态对，此状态对 的格同时也写入×。反复执行5, 直到写入×的格内没 有先前写入的状态对为止； end else /** 格(δ(p,a),δ(q,a))内无× **/ 6．for 每个a∈∑, do 7．把(p,q)写入格(δ(p,a),δ(q,a))内，除非δ(p,a)=δ(q,a)。 end 最新 * 执行此算法的结果用一个表表示，实际上，执行此算 法的过程就是向这个表内写入“×”的过程。 a b c d e b c d e f × × × × (b,d) a b c f e d 0 0,1 0 0 0 1 0 1 1 1 1 × × × × (a,b): ab 0 1 be × × × ? × × (a,c): ac 0 1 ba (a,d): ad 0 1 bf bd 0 1 cd 0 1 ef 0 1 bc 0 1 (b,c): (b,d): (c,d): (e,f): ea ef fe af dd fe 得：b?d, e?f , a?a ,c?c 最新 * 于是 K/?{{a},{b,d},{c},{e,f}}， 五．构造简化的有限自动机 定理2-5.1 给定DFA M＝(K,∑,δ,q0,F)，可根据引理2-1中 的算法构造出除去不可达状态的具有更少状态的DFA M’， 使得T(M’)=T(M)。 证明：先对M用引理2-1中的算法求出K/?。再构造M’： M’=(K’,∑,δ’,[q0], F’)，其中 K’={[q]| [q]∈K/?且在M中q是从q0 可达的状态} F’={[q]| q∈F} δ’：对任何[q]∈K’，任何a∈∑, δ’([q],a)=[δ(q,a)] 最新 * K/?{{a},{b,d},{c},{e,f}}={[a],[b],[c],[e]}，([b]=[b,d],[e]={e,f}) K’= {[a],[b],[c],[e]} F’={[e]} M’=(K’,∑,δ’,[a], F’) =({[a],[b],[c],[e]},{0,1},δ’,[a],{[e]}) δ’([q],a)=[δ(q,a)] a b c f e d 0 0,1 0 0 0 1 0 1 1 1 1 δ’: 0 1 [a][b][c][e] [b] [c] [b] [e] [a] [a] [e] [e] [a] [b] 0 [c] 1 [e] 0,1 0,1 0 1 最新 * 9．给定DFA M如图所示。求一个左线性文法G，使得 L(G)=T(M)。 解：有两种方法。 方法1 1.先将M逆转成M’： B A C 1 0 1 0 0,1 B A C 1 0 1 0 0,1 S ε ε 2.根据M’构造右线性文法G’： S?A|C| ε A?0B B?0A|0C|1C|0 C?1A|1B|1 3.将G’逆转成左线性文法G: S?A|C| ε A?B0 B?A0|C0|C1|0 C?A1|B1|1 P={q?ap|δ(q,a)=p}∪{q?a|δ(q,a)∈F}。 最新 * 方法2 1.先根据M构造右线性文法G’： A?0B|1C|1 (其中A是开始变元) B?0A|1C|0|1 C?0B|1B 2.再将G’直接变成左线性文法G: 根据定理： (1) S?α, 当且仅当 S?α∈P； (2) Ai?α, 当且仅当 S?αAi∈P； (3) Ai?Ajα, 当且仅当 Aj?αAi∈P； (4) S?Ajα, 当且仅当 Aj?α∈P。 (1)由A?1 得: A?1 (2) 由A?0B 得: B?0 由A?1C 得: C?1 (3)由B?0A 得:A ?B0 由B?1C 得: C?B1 由C?0B 得:B?C0 由C?1B 得: B?C1 (4)由 B?0 得