java - 将 EBNF 语法转换为上下文无关语法

Question

我必须编写 JavaCUP 规范，并且已经获得了 EBNF 语法。但是，我不知道如何在两者之间转换。我听说过基本的想法，但我真的不明白我需要改变什么，什么是“终端”等等。

任何人都可以解释如何从一个转换到另一个，或者如果有什么地方我可以读到它？

Answer 1

EBNF 语法类似于普通的 BNF，但具有一些额外的功能（类似于正则表达式运算符）作为语法糖。由于您没有显示您的语法，我只能猜测您需要脱糖以转换为正常 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标识符是您的解析器生成器表示空字符串。