Turing machine = ( Q, Σ, Γ, δ, q0, B, F )
Q : sembolü sonlu sayıdaki durumların kümesidir. Yani makinenin işleme sırasında aldığı durumardır.
Σ : sembolü ile makineye verilecek girdiler (input) kümesi gösterilir. Girdi kümesi dildeki harfler dışında bir sembol taşıyamayacağı için Σ ⊆ Γ demek doğru olur.
Γ : sembolü dilde bulunan bütün harfleri içeren alfabeyi gösterir.
δ : The transition function
q0 :sembolü teyp bandı üzerindeki boşlukları ifade etmektedir. Yani teyp üzerinde hiçbir bilgi yokken bu sembol okunur.
B : sembolü makinenin başlangıç durumunu (state) tutmaktadır ve dolayısıyla q0 ⊆ Q olmak zorundadır.
F : sembolü makinenin bitiş durumunu (state) tutmaktadır ve yine F ⊆ Q olmak zorundadır.
| State | 0 | 1 | X | Y | B |
| q0 | (q1, 0, R) | (q1, 1, R) | (q0, B, R) | ||
| q 1 | (q1, 0, R) | (q1, 1, R) | (q1, X, R) | (q1, Y, R) | (q2, B, R) |
| q 2 | (q2, 0, R) | (q2, 1, R) | (q3, B, L) | ||
| q 3 | (q4, B, L) | (q6, B, L) | (q9, B, L) | ||
| q 4 | (q4, 0, L) | (q4, 1, L) | (q5, B, L) | ||
| q 5 | (q1, X, R) | (q1, Y, R) | (q5, X, L) | (q5, Y, L) | |
| q 6 | (q6, 0, L) | (q6, 1, L) | (q7, B, L) | ||
| q 7 | (q1, Y, R) | (q8, X, L) | (q7, X, L) | (q7, Y, L) | |
| q 8 | (q1, 1, R) | (q8, 0, L) | (q1, 1, R) | ||
| q 9 | (B,0,R) | (B,1,R) | (q9,0,L) | (q9,1,L) | (B,B,R) |
| q10 |
| State | 0 | 1 | B |
| 0 | (q1 , B, R) | (q5 , B, R) | |
| 1 | (q1 , 0, R) | (q2 , 1, R) | |
| 2 | (q3 , 1, R) | (q2 , 1, R) | (q4 , B, R) |
| 3 | (q3 , 0, R) | (q3 , 1, R) | (q0 , B, R) |
| 4 | (q4 , 0, R) | (q4 , B, R) | (q6 , 0, R) |
| 5 | (q5 , B, R) | (q5 , B, R) | (q6 , B, R) |
| 6 |