 States can be produced directly from a terminal as in

which allows for state sequences to appear.LR(1) parsers have the requirement that each rule should be expressed in a complete LR(1) manner, i.e.a sequence of two states with a specific lookahead.