implemented Automaton.toByteArray(), Automaton.save(), and Automaton.load