以双引号开头和结尾的标记的 Backus-Naur 形式

Question

是否可以编写一个令牌的 Backus-Naur 形式描述：

• 以双引号开头
• 以双引号结尾
• 可以包含内部 双引号

?

例如，我有一个名为 MESSAGE 的编程结构，它看起来像：

MESSAGE “她对他说“你好””

这可以用 LL(1) Backus-Naur 形式来描述吗？

编辑：假设我通过简单地迭代每个字符进行解析，一次一个，使用一个前瞻指针。

输入字符串就是整个内容，包括 MESSAGE。

Answer 1

这样的事情可能会奏效（对不起语法。不久前，我曾与 BNF 合作过）。

message : MESSAGE message_text
message_text : " inner_message " | message_text inner_message " inner_message "
inner_message : [a-z0-9...]+

你的例子MESSAGE "She said "Hello" to him" 应该分两步解释：首先，message_text 的第二种形式得到hello " to him"，其次，message_text 的第一种形式得到"She said "。

inner_message 必须包含所有可能的字符和空格。

正如 cmets 中提到的，“魔力”在于message_text 的第二个定义。由于 BNF 没有循环或 if 的概念，因此递归是描述重复的唯一方法。只需要确保语法不会模棱两可，这意味着对于每个可能的输入，只存在一个有效路径（或不存在，这会声明错误）。除了像" he replied with "" silence" 这样的空中间字符串之外，上述语法应该可以工作。