Formalmente, se define como una 5-tupla ("Q", Σ, "q", δ, "F") donde: