处理 BNF 语法中的歧义

Question

我正在尝试为我正在 .NET 中使用 Irony 构建的 DSL 构建一个解析器，但发现了一个我找不到解决方法的问题。由于它处理 BNF，我认为任何 BNF 解决方案都会有所帮助。

我有以下输入：

$10 yesterday at drug store 

使用以下语法：

<expr> :== unit | expr + unit
<unit> :==  money | date | location

<date> : == yesterday|today|tomorrow
<location> :== .* | <preposition> .*
<preposition> :== at
<money> :== ((\$)?\d*((\.*)\d*)*\,?\d{1,2})

使用此输入就像魅力一样。我得到的正是我想要的结果：

Money Amount: 10
Date: Yesterday
Location: Drug Store

但是，如果我由于减少步骤而按如下方式更改输入的顺序，

$10 at drug store yesterday

则它无法给我相同的输出。输出变为：

Money amount: 10
Location: Drug Store Yesterday

我想知道是否有办法确保仅在捕获所有其他标记并且不剩下任何其他标记时才评估 Location （这是一个真正广泛的正则表达式匹配）。

任何帮助表示赞赏。

谢谢！

编辑：根据建议更新标题

Answer 1

除了这不是 BNF 歧义的一般答案之外，我还可以通过创建一个新的终端来解决我的 Irony 问题。

因此，如果其他人遇到此问题，可以在此链接中找到新终端的代码（虽然未添加到主 Irony 项目中）：http://irony.codeplex.com/discussions/269483

谢谢