Define Finite Automata In Toc