La función δ* puede expresarse también de manera recursiva, definiendo para toda cadena "x" ∈ Σ*, todo símbolo "a" ∈ Σ, y un estado "q" ∈ "Q":