Why is this not LL(1) grammar?

StackOverflow https://stackoverflow.com/questions/23230140

Question

S -> 1S2 | S0 | epsilon

I thought it would be LL(1) because it is possible to determine.

For example if the next input symbol was 0 i'd know it was S -> S0

Does the epsilon mean that it cannot be LL(1)?

Was it helpful?

Solution

This grammar is not LL(1) just because it has a left recursion on it. When you will try to build the parser table, you will came up with a conflict.

http://en.wikipedia.org/wiki/LL_parser

Licensed under: CC-BY-SA with attribution
Not affiliated with StackOverflow
scroll top