<A> ::= <B> x {<B> <D>} y <B>
<B> ::= <C> (w|z) <C> <D>
<C> := m [n] <D> <E>
<D> := q | null
<E> := p | null
您将如何将这个EBNF转换为BNF?
不同的人对 EBNF 使用不同的语法,我不确定你使用的是哪一种。您在 EBNF (ISO/IEC 14977: 1996(E)) 中的语法如下所示:
A = B, "x", {B, D}, "y", B;
B = C, ("w" | "z"), C, D;
C = "m", ["n"], D, E;
D = ["q"];
E = ["p"];
假设您使用 null
作为空字符串。请注意,这可以进一步简化。
必须添加一些作品才能将其转换为 BNF:
可以通过插入生产
P := empty | expr P
来替换{ expr }
,其中empty
表示空字符串。[ expr ]
可以通过插入P := empty | expr
来替换。任何表达式
( expr )
都可以通过添加新作品来替换P := expr
.
所以像这样:
A -> B x F y B
F -> empty | B D F
B -> C G C D
G -> w | z
C -> m H D E
H -> empty | n
D -> q | empty
E -> p | empty
同样,假设null
是指空字符串。