Seonglae ChoParsing driven by current state + next token
Builds DFA the same as LR(0)
But allows some “conflicts” that LR(0) cannot tolerate
Resolves the “conflicts” by lookahead one token
Conflicts may still exists
More powerful than LR(0)
A grammar is SLR(1) if and only if, for any state s, we have