Packrat 解析器冲突
假设我尝试使用 Packrat 解析器解析字符串 abc：
lazy val abc: PackratParser[AnyRef] = ab ~ "c"
lazy val ab: PackratParser[AnyRef] = (ab | abc) ~ "b" | "a"
def parse(in: String) = parseAll(abc, in)
这里我使用 Packrat 解析器支持的左递归，但我不明白为什么它失败。根据解析器文档 P |如果 P 成功，则 Q 等于 P，因此在这种情况下，ab 应替换为“ab”而不是“a”，就像我将 ab 替换为：
lazy val ab: PackratParser[AnyRef] = ab ~ "b" | "a"
Suppose I try to parse a string abc with a Packrat Parser:
lazy val abc: PackratParser[AnyRef] = ab ~ "c"
lazy val ab: PackratParser[AnyRef] = (ab | abc) ~ "b" | "a"
def parse(in: String) = parseAll(abc, in)
Here I use left recursion supported by Packrat parser, but I do not understand why it fails. According to Parser documentation P | Q equals P if P succeeds, so in this case ab should be replaced with "ab" instead of "a" as it does if I replace ab with:
lazy val ab: PackratParser[AnyRef] = ab ~ "b" | "a"
如果你对这篇内容有疑问，欢迎到本站社区发帖提问 参与讨论，获取更多帮助，或者扫码二维码加入 Web 技术交流群。
绑定邮箱获取回复消息
由于您还没有绑定你的真实邮箱，如果其他用户或者作者回复了您的评论，将不能在第一时间通知您！
发布评论
评论（1）
Packrat 解析器支持左递归，但它是否支持规则之间的循环（没有进度）。
这就是你所看到的：abc 调用 ab，ab 又可以调用 abc。
也许你应该尝试把|在abc规则中避免循环。
A Packrat parser supports left recursion, but does it support cycles between rules (without progress).
That's what you have here: abc calls ab which can call abc.
Maybe you should try putting the | in the abc rule to avoid the cycle.