public Automaton(StateSet states, Alphabet alphabet) { AutomatonStates = states; Alphabet = alphabet; }