rewrote some in Finite Automata