Formalmente, un Autómata Finito Determinista (AFD) se define como una tupla ,AF D = (Σ, Q, f, q0, F ) Donde:
Σ es el alfabeto de entrada
Q es el conjunto finito y no vació de los estados del Autómata
es la función de transición que indica en qu´e situaciones el Autómata pasa deun estado a otro, se define f : Q × Σ −→ Q
q0 ∈ Q es el estado inicial
F ⊂ Q es el conjunto de estados finales de aceptación (F � = Ø)