3型文法产生的语言是有穷自动机（FA）所接受的集合..pptVIP

3型文法产生的语言是有穷自动机（FA）所接受的集合. 定理 设G=（VN，VT，P，S）是3型文法，则存在一个有穷自 动机 M=(K, ∑ , f, A, Z)，使得L(M)=L(G) 有穷自动机NFA M 这样构造： · ∑= VT · K= VN ∪{N}, N为一个新状态,它不在VN中 · A=S · Z={N} · 对G中的形如 D→tB的产生式,t为终结符或ε,有f(D,t)=B； 对G中形如D→t的产生式， t为终结符或ε,有f(D,t)=N; ? 对VT中的每一个a ,有f(N,a)=φ G［Ｓ］： S→aA|bB A→bB|aD|a B→aA|bD|b D→aD|bD|a|b 定理 已知一有穷自动机M= (K, ∑ , f, A, Z),存在有一个3型文法G = （VN，VT，P，S）,使得L(G)=L(M) G 的定义： · VT =∑ · VN= K · S = A · 若 f(D,t)=B ，则D→tB在P中 若 f(D,t)=B ，且B在Z中，则D→t在P中 G［Ｓ］： S→aA|bB A→bB|aD|a B→aA|bD|b D→aD|bD|a|b 正规文法和正规式 对?上的正规式r ,存在一个RG=(VN,VT,P,S)：L(G)=L(r) 初始， VT= ?,S ? VN ，生成正规产生式 S?r (R.1) 对形如 A?r1r2的正规产生式：A?r1B B?r2 B?VN (R 2)对形如A?r?r1的正规产生式： A?rB A?r1 B?rB B?r1 B?VN (R 3)对形如A?r1?r2的正规产生式: A?r1 A? r2 不断应用R做变换，直到每个产生式右端至多有一个VN 例 r=a(a?d)? S?a(a?d)? S?aA A?(a?d)? A?(a?d)B A?? B?(a?d)B B?? G[s]: S?aA A?? VT={a,d} A?aB VN={S,A,B} A?dB B?aB B?dB B?? 正规文法和正规式 对G=(VN,VT,P,S),存在一个? =VT上的正规式r : L(r)=L(G) A?xB , B?y ≈ A=xy A?xA?y ≈ A=x?y A?x?y ≈ A=x?y 正规文法和正规式 G[s]:S?aA|a A?aA?a?dA?d A?(a?d)A?(a?d) A?(a?d)?(a?d) S=a(a?d)?(a?d)?a =a((a?d)?(a?d)??) =a((a?d)???) R=a(a?d)? * * B A S a a a b b b a,b D Z a b a b ? D B A S a a a b b a,b b ?