Uma Máquina de Turing é uma 7-tupla M = (Q, Σ, Γ, δ, q0, B, F), onde:
-
Q é um conjunto finito de estados;
-
Σ conjunto finito de símbolos de entrada.
-
Γ conjunto - completo de símbolos, Σ é um subconjunto.
-
δ é uma função parcial δ: Q × Γ → Q × Γ × {L,R}, chamada de função de transição.
-
q0 ∈ Q é o estado inicial;
-
B (ou ☐) é um símbolo que representa um branco (está em Γ mas não em Σ).
-
F ∈ Q é o subconjunto de estados finais.
0, 1
