A sétupla só é corretamente representada quando contém os seguintes elementos:
Um conjunto (não vazio) de estados do seu AF: Q
Um símbolo branco (neutro): b
Um alfabeto de símbolos da fita: Γ, b ∈ Γ
Um alfabeto de símbolos de entrada: Σ, Γ∖{b } ⊇ Σ
Uma função de transições para os estados em Q, definida como δ: (Q∖F) ✕ Γ → Q ✕ Γ ✕ { E, D }.
​Um estado inicial: q, Q ∋ q
Um conjunto de estados finais (de aceitação): F, Q ⊇ F

Suponho um diagrama da função de transição de uma MT tal que não apareça o estado de rejeição e as transições que levam a ele. Pode-se dizer que essas transições e este estado não fazem parte da máquina?