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