1

I have grammar like this:

{S->ɛ;S->aSb;S->aSc;S->SS}

how can I show it's unequivocal?

7
  • I can't see anything out there, I need a proof not algorith to solve this.
    – Conrad
    Feb 5, 2014 at 9:25
  • This question appears to be off-topic because it is about a proof of a conjecture in formal language theory, and has nothing to do with programming.
    – rici
    Feb 5, 2014 at 15:28
  • 1
    Hint: If you can construct an LR(1) parser, then the grammar is unambiguous.
    – rici
    Feb 5, 2014 at 15:28
  • @rici there is no tag suggesting that it's a programming question so it's not an off-topic I think.
    – Conrad
    Feb 5, 2014 at 20:59
  • 1
    SO is a site about programming. See stackoverflow.com/help/on-topic
    – rici
    Feb 5, 2014 at 22:16

0

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Browse other questions tagged or ask your own question.