Как избежать конфликтов в грамматике

Question

У меня есть файл грамматики - https://github.com/itrelease/fubar-script/blob/jsast/src/grammar.js, но я получаю conflicts, и я действительно не знаю, как это решить. Если бы кто-нибудь мог мне объяснить, это было бы полезно.

Эти правила производят conflicts:

ParamVar: [ 
    ['Identifier', '$$ = $Identifier;'], 
    ['THIS', '$$ = new yy.ThisExpression();'] 
], 

PrimaryExpression: [ 
    ['THIS', '$$ = new yy.ThisExpression();'], 
    ['Literal', '$$ = $Literal;'], 
    ['ArrayLiteral', '$$ = $ArrayLiteral;'], 
    ['Identifier', '$$ = $Identifier;'], 
    ['ObjectLiteral', '$$ = $ObjectLiteral;'], 
    ['(Expression)', '$$ = $Expression;'] 
], 

Answer 1

Ваша текущая грамматика не имеет PrimaryExpressionNoBrace, но я полагаю, что проблема возникла с this старше версии грамматики.

конфликт вызван этой продукции:

MemberExpression: [ 
     ['PrimaryExpression', '$$ = $PrimaryExpression;'], 
     ['ArrowFunctionExpression', '$$ = $ArrowFunctionExpression'], 
     ... 

где

• PrimaryExpression происходит в PrimaryExpressionNoBrace, который имеет '(Expression)'

• Expression снова черпает в PrimaryExpressionNoBrace, который имеет IDENTIFIER или THIS альтернативы

• ArrowFunctionExpression имеет '(FormalParameterList) => Block'

• FormalParameterList имеет IDENTIFIER или THIS альтернативы тоже.

Таким образом, ввод левой скобки, с последующим IDENTIFIER или THIS уводит нас в LR-состояние, которое не может решить между сведением к PrimaryExpressionNoBrace или FormalParameterList, т.е. имеет свертку-свертка конфликтов на общих правовых последователях (например, правая скобка). Здесь нет единого вида токенов, и больше нет поддержки.