Greibach標準式
维基百科,自由的百科全书
Greibach 標準式是上下文无关文法的一種,它們都符合以下的產生式:
此處a為終端符號而α為零至多個變數,能產生出不包含空字串的語言。
[编辑] 範例
請寫出
的 Greibach 標準式
A¹→A²A²|0 A²→A¹A¹|1
A¹→A²A²|0 A²→A²A²A¹|0A¹|1
A¹→A²A²|0 A²→0A¹|1|0A¹B²|1B² B²→A²A¹|A²A¹B²
A¹→0A¹A²|1A²|0A¹B²A²|1B²A²|0 A²→0A¹|1|0A¹B²|1B² B²→A²A¹|A²A¹B²
A¹→0A¹A²|1A²|0A¹B²A²|1B²A²|0 A²→0A¹|1|0A¹B²1B² B²→0A¹A¹|0A¹B²A¹|1B²A¹|0A¹A¹B²|0A¹B²A¹B²|1B²A¹B²|1A¹|1A¹B²