how to reverse a finite automata