Сдвиг/уменьшение LALR (1) конфликт из-за круглых скобок

Question

В настоящее время я пишу грамматику LALR (1), подобную Visual Basic, и сталкиваюсь с этим конкретным конфликтом смены/сокращения, о котором я не знаю, как правильно его решить.

проблемные части грамматики (смотрите EDIT 1 и EDIT 2 разъяснений):

Expression 
    : IndexExpression 
    | /* other expressions */ 

IndexExpression 
    : MemberExpression 
    | MemberExpression '(' ArgumentList ')' 

MemberExpression 
    : ParenthesizedExpression 
    | Identifier 

ParenthesizedExpression 
    : '(' Expression ')' 

ArgumentList 
    : Expression 
    | Expression ',' ArgumentList 
    | ',' ArgumentList 

И сдвиг/свертка конфликта заключается в следующем:

State 109 
    237 ParenthesizedExpression: '(' Expression ')' . 
    $default reduce using rule 237 (ParenthesizedExpression) 

... 
State 295 

    231 IndexExpression: MemberExpression '(' . ArgumentList ')' 
    237 ParenthesizedExpression: '(' . Expression ')' 
    ... 
    Expression go to state 352 

... 
State 352 
    182 ArgumentList: Expression . 
    183    | Expression . ',' ArgumentList 
    237 ParenthesizedExpression: '(' Expression . ')' 
    ... 
    ')' shift, and go to state 109 

    ')' [reduce using rule 182 (ArgumentList)] 

Другими словами, синтаксический анализатор не уверен, столкнувшись с выражением, заключенным в круглые скобки, независимо от того, является ли он ArgumentList с одним expre ssion или ParenthesizedExpression.

Есть ли способ исправить этот конфликт, сохраняя при этом грамматику LALR (1)?

спасибо.

EDIT 1:

/* другие выражения */в Expression на самом деле не пустое выражение, я просто написал ее таким образом, для краткости. В действительности у него есть другие альтернативные выражения:

Expression 
    : IndexExpression 
    | Expression '+' Expression 
    | ... 

EDIT 2:

Вот дополнительные части грамматики, которая @rici указывает, может быть проблематичным (особенно 1-го правила правой части Заявление):

Statement 
    : MemberExpression ArgumentList 
    | MemberExpression '=' Expression 
    | MemberExpression '(' ArgumentList ')' '=' Expression 
    | ... 

Answer 1

ошибки, потому что Expression позволено быть пустым, из-за закомментированного правило /* other expressions */, nd считается непустым.

Ниже показано, где использование Expression результатов в двух эквивалентных правил:

ArgumentList 
    : Expression 
    | Expression ',' ArgumentList /* degenerates into "',' ArgumentList" */ 
    | ',' ArgumentList 
    ; 

Число сдвига/уменьшения конфликтов являются количество раз ArgumentList ссылается используется (один раз в IndexExpression и дважды в ArgumentList сама)

Чтобы удалить конфликты либо исправить ArgumentList для случая пустого Expression:

ArgumentList 
    : Expression 
    | ArgumentList ',' Expression 
    ; 

Или убедитесь, что Expression никогда не пуст (удалите комментарий).