Formalmente, se define como un par ordenado ("q", "x") ∈ "Q" × Σ*.