implement liveStates()
implement liveStatesFromInitial()
implement liveStatesToAccept()
implement AutomatonBuilder
implement srcMinMaxDestSorter