Transition Graph Practice Automata