Formalmente un transductor de estados finitos "T" es una tupla ("Q", Σ, Γ, "I", "F", δ) tal que: