Home/ Questions/Q 950451
In Process

The Archive Base Latest Questions

Editorial Team
  • 0
Asked: 2026-05-15T23:33:59+00:00

I’m using CUP to create a parser that I need for my thesis. I

  • 0

I’m using CUP to create a parser that I need for my thesis. I have a shift/reduce conflict in my grammar. I have this production rule:

command ::= IDENTIFIER | IDENTIFIER LPAREN parlist RPAREN;

and I have this warning:

Warning : *** Shift/Reduce conflict found in state #3
between command ::= IDENTIFIER (*) 
and     command ::= IDENTIFIER (*) LPAREN parlist RPAREN 
under symbol LPAREN

Now, I actually wanted it to shift so I’m pretty ok with it, but my professor told me to find a way to solve the conflict. I’m blind. I’ve always read about the if/else conflict but to me this doesn’t seem the case.
Can you help me?

P.S.: IDENTIFIER, LPAREN “(” and RPAREN “)” are terminal, parlist and command are not.

Share

Leave an answer

You must login to add an answer.

Need An Account,

1 Answer

  1. Editorial Team

    Your problem is not in those rules at all. Although Michael Mrozek answer is correct approach to resolving the “dangling else problem”, it does not grasp the problem at hand.

    If you look at the error message, you see that the shift / reduce conflict is present when lexing LPAREN. I am pretty sure that the rules alone will not create a conflict.

    I can’t see your grammar, so I can’t help you. But your conflict is probably when a command is followed by a different rule that start with a LPAREN.

    Look at any other rules that can potentially be after command and start with LPAREN. You will then have to consolidate the rules. There is a very good chance that your grammar is erroneous for a specific input.

    • 0