Máquina de Turing Multicinta de Obtener los Divisores:

Subrutina	(0, 0, B)	(0, B, B)	(B, 0, B)	(B, B, B)	(0, X, B)	(B, X, B)
qi	(qi, (0, R), (X, R), (B, Z))	(qi2, (0, Z), (B, L), (B, Z))		(qi3, (B, Z), (B, L), (B, Z))
qi2		(qi, (0, Z), (B, R), (B, Z))		(qi3, (B, Z), (B, R), (B, Z))	(qi2, (0, R), (0, L), (B, Z))
qi3			(qi7, (B, Z), (0, Z), (B, Z))			(qi4, (B, Z), (X, Z), (B, Z))
qi4				(qi5, (B, Z), (B, R), (B, Z))		(qi4, (B, Z), (0, L), (0, R))
qi5			(qi6, (B, L), (B, R), (B, Z))	(qi11, (B, L), (B, Z), (B, Z))
qi6	(qi6, (0, L), (O, Z), (B, Z))		(qi, (B, R), (0, Z), (B, Z))
qi7			(qi7, (B, Z), (0, R), (0, R))	(qi8, (B, L), (B, L), (B, Z))
qi8	(qi9, (0, Z), (B, L), (B, Z))
qi9	(qi10, (0, L), (0, L), (B, Z))	(qi11, (0, L), (B, Z), (B, Z))
qi10	(qi10, (0, L), (0, L), (B, Z))	(qi10, (0, L), (B, Z), (B, Z))		(qi, (B, R), (B, R), (B, Z))
qi11		(qi11, (0, L), (B, Z), (B, Z))		(qr, (B, R), (B, Z), (B, Z))

Principal	(0, 0, B)	(0, B, B)	(B, B, B)
q0		(q1, (0, R), (B, Z), (B, Z))	(q2, (B, L), (B, L), (B, Z))
q1		(q0, (0, R), (0, R), (B, Z))	(q2, (B, L), (B, L), (B, Z))
q2	(q3, (0, L), (0, L), (B, Z))
q3	(q3, (0, L), (0, L), (B, Z))	(q3, (0, L), (B, Z), (B, Z))	(qi, (B, R), (B, R), (B, Z))
qr