rename FA => Automaton, generic but finite