更改语法中的关联架构

我正在尝试使用SableCC为模型生成解析器，我称其为LAM。 LAM本身很简单，和一个简单的语法（其中我省略了很多东西），这些是：更改语法中的关联架构

L := 0 | (x,y) | F(x1,...,xn) | L || L | L ; L

我写了这个语法：

Helpers 
    number = ['0' .. '9'] ; 
    letter = ['a' .. 'z'] ; 
    uletter = ['A' .. 'Z'] ; 

Tokens 
    zero  = '0' ; 
    comma = ',' ; 
    parallel = '||' ; 
    point = ';' ; 
    lpar = '(' ; 
    rpar = ')' ; 

    identifier = letter+ number* ; 
    uidentifier = uletter+ number* ; 

Productions 
    expr = {term} term | 
      {parallel} expr parallel term | 
      {point} expr point term; 

    term = {parenthesis} lpar expr rpar | 
      {zero} zero | 
      {invk} uidentifier lpar paramlist rpar | 
      {pair} lpar [left]:identifier comma [right]:identifier rpar ; 

    paramlist = {list} list | 
       {empty} ; 

    list = {var} identifier | 
      {com} identifier comma list ;

这基本上工作，但有一个副作用：它是左联合的。举例来说，如果我有

L = L1 || L2 ; L3 || L4

然后被解析，如：

L = ((L1 || L2) ; L3) || L4

我想给所有优先级的“;”运营商等为L解析像

L = (L1 || L2) ; (L3 || L4)

（其它事情，比如 “||”，可能仍然是左结合）

我的问题是：

有提示做这种转换以“自动化”的方式进行？
怎么可能是一个语法与所有优先的“;” ？

它也接受了“RTFM链接” :-D 谢谢大家

来源

2013-02-11 kronat

您需要创建一个规则层次结构所需的运算符优先级相匹配。

expr = {subexp} subexp | 
     {parallel} subexp parallel expr ; 

subexp = {term} term | 
     {point} term point subexp;

请注意，我也改变了关联性。

来源

2013-02-11 14:21:30 Apalala

这很有用。所以我基本上需要建立一个层次结构，其中具有更高优先级的运算符位于该层次结构之上。 – kronat 2013-02-11 20:18:28

@kronat具有* lower *优先级的运算符在层次结构中位于较高位置。 – Apalala 2013-02-12 00:40:38

更改语法中的关联架构

回答

相关问题