Esta es la Máquina de Turing que calcula los divisores de un número dado N con un solo cabezal y una sola cinta.
| | 0 | 1 | B | $ | X | Y |
| q0 | (q1, 0, L) | | | | | |
| q1 | | | (q2, $, R) | | | |
| q2 | (q2, 0, R) | | (q3, $, L) | | | |
| q3 | (q4, X, L) | | | (q5, $, L) | | |
| q4 | (q5, X, L) | | | (q5, $, L) | | |
| q5 | (q5, 0, L) | | (q10, B, R) | (q6, $, L) | | |
| q6 | (q6, 0, L) | | (q7, 0, R) | | | |
| q7 | (q7, 0, R) | | | (q7, $, R) | (q3, X, L) | |
| q8 | (q8, 0, L) | | (q9, B, R) | | | |
| q9 | (q10, B, R) | | | | | |
| q10 | (q11, Y, R) | | | (q15, $, L) | | |
| q11 | (q11, 0, R) | | | (q12, $, R) | | |
| q12 | (q13, 0, L) | | | (q13, $, L) | (q12, X, R) | |
| q13 | | | | (q16, $, R) | (q14, 0, L) | |
| q14 | (q14, 0, L) | | | (q14, $, L) | (q14, X, L) | (q10, 0, R) |
| q15 | (q15, 0, L) | | (q10, B, R) | | | |
| q16 | (q16, 0, R) | (q16, 1, R) | (q17, 0, L) | (q16, $, R) | | |
| q17 | (q17, 0, L) | (q17, 1, L) | (q21, B, R) | (q17, $, L) | (q17, X, L) | (q18, 0, R) |
| q18 | (q16, Y, R) | | | (q19, $, R) | | |
| q19 | (q19, X, R) | | | (q20, $, R) | | |
| q20 | (q20, 0, R) | | (q17, 1, L) | | | |
| q21 | (q22, 0, R) | | | | | |
| q22 | | | | (q23, B, R) | | |
| q23 | | | | (q24, 1, R) | (q23, 0, R) | |
| q24 | | | | | | |
Esta es la Máquina de Turing que calcula los divisores de un número dado N utilizando 3 cabezales de lectura/ escritura. El uso de cada cabezal es el siguiente: el primero de ellos será el encargado de probar los divisores de N, empezando desde N/2 hasta 1. El segundo de ellos será el que vaya recorriendo N para comprobar si es divisor el número que se está probando. El tercer y último cabezal será el que escriba el divisor si corresponde.
| | 0 | 1 | B | $ |
| q0 | (q0, {0, L}, {0, Z}, {0, R}) | | (q1, {$, L}, {B, Z}, {$, R}) | |
| q1 | (q2, {0, Z}, {0, R}, {0, Z}) | | | (q3, {$, Z}, {$, L}, {$, Z}) |
| q2 | (q1, {0, Z}, {0, R}, {0, Z}) | | (q1, {0, L}, {B, Z}, {B, Z}) | (q3, {$, Z}, {$, L}, {$, Z}) |
| q3 | (q3, {0, R}, {0, L}, {0, Z}) | | (q3, {B, R}, {B, Z}, {B, Z}) | (q4, {$, L}, {$, Z}, {$, Z}) |
| q4 | (q4, {0, L}, {0, L}, {0, Z}) | | (q3, {B, R}, {B, Z}, {B, Z}) | (q5, {$, Z}, {$, R}, {$, Z}) |
| q5 | (q5, {0, R}, {0, Z}, {0, Z}) | | (q5, {B, R}, {B, Z}, {0, R}) | (q6, {$, L}, {$, Z}, {1, R}) |
| q6 | (q6, {0, L}, {0, Z}, {0, Z}) | | (q7, {B, R}, {B, Z}, {B, Z}) | |
| q7 | (q8, {B, R}, {0, Z}, {0, Z}) | | (q7, {B, Z}, {B, Z}, {B, Z}) | q9 |
| q8 | (q8, {0, Z}, {0, R}, {0, Z}) | | | (q3, {$, Z}, {$, L}, {$, Z}) |
| q9 | | | | |
