Implements LR0 state machine generating