Formalmente, un autómata finito es una 5-tupla ("Q", Σ, "q", δ, "F") donde: