F
finite automata