Scala – Combinator Parsing,替代品的顺序似乎很重要

发布时间：2020-12-16 09:50:44 所属栏目：安全来源：网络整理

导读：我是 Scala的新手,我正在努力掌握组合器解析.所以我有一些代码解析逻辑原子(一阶逻辑中的谓词),如p(x,y,z)或p(x,1,q(a,b,c),z).我有这段小代码： class Logic extends JavaTokenParsers { def functor: Parser[Any] = ident def term: Parser[Any] = predica

我是 Scala的新手,我正在努力掌握组合器解析.所以我有一些代码解析逻辑原子(一阶逻辑中的谓词),如p(x,y,z)或p(x,1,q(a,b,c),z).我有这段小代码：

class Logic extends JavaTokenParsers {
    def functor: Parser[Any] = ident
    def term: Parser[Any] = predicate | ident | floatingPointNumber
    def predicate: Parser[Any] = functor~"("~repsep(term,",")~")"  
}

Functor是谓词符号,如p(p,x,z)中的p,term是常数或变量,如1或x,或谓词,谓词是复合词,z).此代码可以正常工作,但如果我更改在术语解析器中声明替代项的顺序,则会出现问题.也就是说,如果我将术语解析器写成

def term: Parser[Any] = ident | floatingPointNumber | predicate

(谓词是这里的最后一个选择,虽然它是先前的),然后它无法解析像p(x,z)这样的“嵌套”表达式(虽然它仍适用于“平面”)表达式如p(x,z)).有人可以说明我在这里缺少什么吗？

非常感谢

解决方法

订单事项

原因是A | B将尝试首先满足A并且仅在A失败时才尝试B.

这与|不同在正则表达式(或一般的无上下文语法)中.

在这种情况下,在“p(x,z)中,”p满足ident,因此其他替代方案将不匹配(并且没有回溯).

出于这个原因,在具有冲突前缀的替代方案中,您可以将一个接受更长的字符串放在第一个(或者您知道的那个将导致满足更多短语的字符串).

最长的替代匹配

请注意,您可以使用|||组合子：

def term: Parser[Any] = ident ||| floatingPointNumber ||| predicate

根据Scala docs,|||是一个解析器组合器匹配具有最长匹配组成的备选方案.

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!