added lists of liveStates and deadStates to Automaton