轉換減少野牛語法衝突

Question

我剛剛開始與Bison合作，並且遇到了一些問題。我的語法目標是識別一個「命令管道」語言，其中一個命令的輸出可以作爲另一個命令的輸入來管道。每個命令也可以有一個帶有可選值的參數列表。下面是一個例子：

command1 --param1 test --param2 test2 | command2 | command3 --param3 

在前面的例子，command1採用兩個參數，param1與值test和param2與值test2。然後將command1的輸出「傳送」至command2，其不採用參數。最後，command2的結果被傳送到command3，該參數取一個參數（沒有值的參數被認爲是一個開關）。

相應的野牛語法如下：

%{ 

#include <string> 
#include <iostream> 
#include "AST.h" 
#include "Evaluator.h" 

void yyerror (const char *error); 
int yylex(); 

%} 

%code{ 
    Evaluator eval; 
} 

%union { 
    char* s; 
    double d; 
    AbstractNode* abstractnode; 
    CmdletCall* cmdletdef; 
    ParameterDef* parameterdef; 
    ParameterListDef* paramlistdef; 
} 

/* declare tokens */ 

%token EOL 
%token<s> PARAMETERNAME 
%token<s> BUILTIN 
%token<s> IDENTIFIER 


%type <parameterdef> parameterDef 
%type <cmdletdef> cmdletCall 
%type <abstractnode> pipeLineDef  
%type <paramlistdef> paramList 
%% 

input: /* nothing */ 
    | input pipeLineDef EOL { 
           $2->accept(eval); 
           delete $2; 
           std::cout << eval.result() << std::endl; 
          }       
    | input EOL    {} 
    ; 



pipeLineDef: cmdletCall     {$$ = $1;}  
    | pipeLineDef '|' cmdletCall   {$$ = new PipeLineDef($1, $3);} 
    ; 


cmdletCall: IDENTIFIER     {$$ = new CmdletCall($1);}     
      | cmdletCall paramList   {$1->setParameterList($2);} 
      ; 

paramList: parameterDef     { 
              $$ = new ParameterListDef; 
              $$->addChildNode($1); 
             } 
     | paramList parameterDef  { 
              $1->addChildNode($2); 
              $$ = $1; 
             } 
     ; 

parameterDef: PARAMETERNAME    {$$ = new ParameterDef($1);} 
      | parameterDef IDENTIFIER { 
              $1->setValue($2); 
             }   

      ; 




%% 


void yyerror (const char *error) 
{ 
    std::cout << error << std::endl; 
} 

以前的語法有一個班次，減少衝突，抄錄如下：

Terminals unused in grammar 

BUILTIN 

State 10 conflicts: 1 shift/reduce 
State 10 

7 cmdletCall: cmdletCall paramList . 
9 paramList: paramList . parameterDef 

PARAMETERNAME shift, and go to state 9 

PARAMETERNAME [reduce using rule 7 (cmdletCall)] 
$default  reduce using rule 7 (cmdletCall) 

parameterDef go to state 13 

我想刪除衝突，但我我不知道應該如何繼續（我的理解是轉換/減少衝突表明模糊的語法）。但是，從我最初的測試中，一切似乎都按預期工作。另一個讓我感到困惑的點是Bison評估終端的方式。例如，如果我重寫cmdletCall和paramList規則如下，語法遊：

cmdletCall: IDENTIFIER paramList   {$$ = new CmdletCall($1); $$->setParameterList($2);} 
      ; 

paramList: /*nothing*/ 
             { 
              $$ = new ParameterListDef; 

             } 
     | paramList parameterDef  { 
              $1->addChildNode($2); 
              $$ = $1; 
             } 
     ; 

如果我重寫語法如上所示，則對於輸入的，例如：

command1 --param1 

在cmdletCall規則，對應於IDENTIFIER令牌的值$1將爲command1 --param1，而不是僅限於command1。

Answer 1

您對cmdletCall的定義實際上是IDENTIFIER paramList*（使用標準的常規語言Kleene星算子）。但是paramList是paramDef+。所以這顯然是模棱兩可的;沒有辦法知道有多少paramList遵循IDENTIFIER，因爲沒有指示哪裏結束，下一個開始。

實際上，您只想要（或至多）一個paramList。有幾個選項，但最簡單的是：

cmdletCall: IDENTIFIER paramList 
paramList : /* empty */ 
      | paramList parameterDef 

另一種選擇是保持paramList非空的，並添加cmdletCall選項只由一個IDENTIFIER。真的，只有當你需要爲了語義規則而分開案例時纔有用，但是肯定是可行的。

或爲一個更簡單的語法，剛剛擺脫的paramList：

cmdletCall: IDENTIFIER 
      | cmdletCall parameterDef 

由於野牛生成解析器寧願轉向減少，從模糊的語法生成的解析器將做你所期望的：只生產零或每個命令一個paramList。但是，無論如何，你最好還是建議消除歧義。

---

你有沒有和相關的語義值的問題是不是抄襲的yytext從掃描儀的內容的結果; yytext是靈活構建的掃描儀的內部數據結構，其內容不屬於您，因爲掃描儀可以並且會根據其認爲合適的方式修改它們。