A finite automata