Question

我正在使用Camlp4来解析一系列量词，其中量化关键字和变量用逗号分隔。一个例子如下：

exists x,y,z, forall a,b, exists h,k

此处，exists和forall是关键字，x,y,z,a,b,h,k是标识符。相应的令牌为EXISTS，FORALL和IDENTIFIER of string。

我的数据结构：

type quantifier =
  | Exists of string
  | Forall of string

要解析上面的量词字符串，我的规则是：

id: [[
  `IDENTIFIER s-> s
]];

one_kind_quantifiers: [[
  `EXISTS; il=LIST1 id SEP `COMMA -> List.map (fun v -> Exists v) il
 |`FORALL; il=LIST1 id SEP `COMMA -> List.map (fun v -> Forall v) il
]];

quantifiers: [[
  t=LIST0 one_kind_quantifiers SEP `COMMA -> List.flatten t
]];

但是，我的解析器总是抛出一个错误：

Stream.Error("[id] expected after COMMA (in [one_kind_quantifiers])").

你知道如何解决这个问题吗？如何在LIST1是关键字后检测到元素时，`COMMA是否会停止抛出错误？

非常感谢！

（有关详细信息，如果我使用空格来分隔受同一量化关键字影响的变量，例如exists x y z, forall a b, exists h k。并删除SEP `COMMA规则中的one_kind_quantifiers，那么解析器可以完美地解析这个新字符串。）

===========================

更新解决方案：

根据Igor（@ygrek）的建议，我可以通过不使用LIST1编写预期的解析器，但手动编写规则来解析字符串列表。

id_list: [[
  `IDENTIFIER s -> [s]
 |t=`id_list; `COMMA; `IDENTIFIER s -> t@[s]
]];

one_kind_quantifiers: [[
  `EXISTS; il=id_list -> List.map (fun v -> Exists v) il
 |`FORALL; il=id_list -> List.map (fun v -> Forall v) il
]];

quantifiers: [[
  t=LIST0 one_kind_quantifiers SEP `COMMA -> List.flatten t
]];

请注意，解析字符串列表的规则是：

id_list: [[
   `IDENTIFIER s -> [s]
 | t=`id_list; `COMMA; `IDENTIFIER s -> t@[s]
]];

但不是：

id_list: [[
   `IDENTIFIER s -> [s]
 | `IDENTIFIER s; `COMMA; t=`id_list -> [s]@t
]];

编写id_list规则的第二种方法会引发与使用LIST1时相同的错误。（所以我想也许这就是实现LIST1的方式......）

Answer 1

camlp4是递归下降解析器，IIRC它只会在每个规则的第一个令牌上回溯，一旦第一个令牌匹配，它将一直持续到规则结束。在这种情况下LIST1它可以在逗号上匹配，因此它会下降，但第二个令牌不符合预期，现在回溯太晚了。我想展开LIST1并在你的语法中内联将解决这个问题，但可能会相当丑陋。

使用Camlp4解析一串通用和存在量词

1 个答案: