finish

Compiles all added states and transitions into a new Automaton and returns it.