Nearley 解析器 - 如何返回不明确的匹配字符串？ （只有四行）

Question

我正在编写旨在让您轻松发布自己选择的冒险故事的软件。但是，我想将我的解析器从我自己编写的 JavaScript 更改为 Nearley 系统。

我有一个四行 nearley 解析器：

main->(excludebrackets link:+ excludebrackets):+
link->"[LINK:"i excludebrackets "|" excludebrackets "]"
{% (d) => {return'<a href ="func__' + d[3][0].join("") + '()">'+d[1][0].join("")+"</a>"}%} 
excludebrackets->[^\\[\]]:+ | null

唯一的问题是最顶层。 “链接”非终结符可以很好地转换以下内容：

[LINK: shoot | shoot_dragon] 到 <a href ="func__ shoot_dragon()"> shoot </a>。但是如果我尝试使用更复杂的代码：

你可以 [LINK: shoot | shoot_dragon] 用你的箭射龙或 [LINK: draw | stab_dragon] 你的剑，但你必须让它靠近。

我的函数不明确，因此返回许多结果。 （由于 javascript 处理 nulls 的方式，它似乎很容易使用，但在最好的情况下，这仍然比需要的慢。）

更普遍的问题是，我如何才能毫无歧义地返回无限期的两场比赛？

（作为奖励，谁能解释一下 :*、:+、:? 的确切含义？我不明白问号。）

Answer 1

如果通过“我怎样才能返回两个匹配项的无限系列，没有歧义？”，你的意思是“a* a* 的明确等价物是什么？”，答案是因为 a* a* 是一定模棱两可，唯一的解决办法是删除其中之一（匹配相同的语法）。

由于 excludebrackets 已经是任意重复，您可以使用更简单的

main->(excludebrackets link):* excludebrackets

您可以通过使用 :* 而不是 :+ 来编写没有显式 | null 的 excludebrackets。根据定义，对于任何 X，X+ | null 与 X* 相同。