Finite Automata Model