fixed a bug with the Automaton.equals(Automaton) method