將EBNF語法轉換爲上下文無關語法

Question

我必須編寫一個JavaCUP規範，並且我已經獲得了EBNF語法。但是，我不知道如何在兩者之間進行轉換。我已經聽到了基本的想法，但我並不真正瞭解我需要改變什麼，「終端」是什麼等等。

任何人都可以解釋如何從一個轉換到另一個，或者如果有某個地方我可以在哪裏讀到它？

Answer 1

EBNF語法與正常的BNF類似，但具有一些額外的功能（類似於正則表達式運算符）作爲語法糖。既然你沒有表現出你的語法，我只能猜測你需要desugar轉換爲正常BNF什麼零件，但在這裏是最常見的（像JavaCUP一個LALR發生器）：

B* becomes Bstar, defined as Bstar ::= epsilon; Bstar ::= Bstar B 
B+ becomes Bplus, defined as Bplus ::= B; Bplus ::= Bplus B 
B? becomes Bquestion, defined as Bquestion ::= epsilon; Bquestion ::= B 
B | C becomes BorC, defined as BorC ::= B; BorC ::= C 

的epsilon標識符這裏是你的解析器生成器表示空字符串。