Finite Automata In Toc