Método addTransition de Automata implementado (ainda em teste).