- 对任何正规式 r,存在生成同一语言的正规文法G
求解过程
① 令 V T = ∑ V_T= ∑ VT=∑ ;
② 令文法的开始符号 S = R S = R S=R ;
③ 对形如 A → a b A→ab A→ab 的规则转换为 A → a B A→aB A→aB 和 B → b B→b B→b;
④ 在新的文法中,将形如A→a*b 的规则进一步转换为 A → a A ∣ b A→aA | b A→aA∣b;
⑤ 不断利用 ③ 和 ④ 进行转换,直到每条规则的右部最多含有一个终结符号为止。
示例
将 R = ( a ∣ b ) ( a a ) ∗ ( a ∣ b ) R=(a|b)(aa)^*(a|b) R=(a∣b)(aa)∗(a∣b) 转换成相应的正规文法
解:令 A 是文法开始符号,根据规则(2)变换为
- ① A → (a|b)(aa)*(a|b)
根据规则 ③ 变换为
- ② A → (a|b)B,即 A → aB|bB
- ③ B → (aa)*(a|b)
根据规则 ④ 变换为
- ④ B → (aa)B|a|b
根据规则 ③ 变换为
- ⑤ B → aC|a|b
- ⑥ C → aB
故 ②⑤⑥ 是对应的正规文法