扩展BNF问题

Question

我有一些关于扩展BNF的问题。

(* Extended BNF grammar *)
min = 5;
max = 10;
value = integer; (* How can I set the range rule: `min <= value <= max`? *)

第二个问题：

name = letter, { letter | decimal digit };
(* The common length of the comment line must be not more than 128 characters. 
But I don't know the name's length. How can I set this restriction? *)
        comment line = ';', name, ' ', 128 * [ character ], new line;

我已经完整地阅读了ISO/IEC 14977:1996(E)，但是没有找到答案。

谢谢。

Answer 1

据我所知，你不能单独使用BNF/EBNF解析器来做这件事，但是你可以结合一些后处理来做。

诀窍是通过EBNF规则解析文本，而不考虑约束。稍后，当您获得抽象语法树(AST)时，您可以使用Javascript (或任何用于解析的语言)，逐个节点地遍历它，并测试它的约束。