completed implementation of SLRautomaton