Uma Máquina de Turing de uma fita é usualmente definida por M = (Q, Σ, Γ, s, ε, F, δ), onde:

• Q é um conjunto finito de estados.
• Σ é um alfabeto (conjunto finito de símbolos) que serão aceitos pela máquina.
• Γ é o alfabeto final da fita.
• s ∈ Q é o estado inicial.
• ε ∈ Γ é o símbolo branco (vazio).
• F ⊆ Q é o conjunto dos estados finais.
• δ : (Q x Γ) ⇒ (Q x Γ [L, R, S]) é a função de transição, onde L é o movimento para a esquerda e R é o movimento para a direita na fita.