Une MFC est une machine qui prend un symbole comme entrée et '' jumps '' ou transitions, d'un état à un autre selon une fonction de transition -LRB- qui peut être exprimée comme une table -RRB-.
Un Automaton -LRB- un automate, plusieurs automata -RRB- est un concept des mathématiques.