Prerrequisito – Problema de la máquina de Turing -1: Dibuje una máquina de Turing que reste dos números. Ejemplo: Pasos: 
- Paso 1. Si encuentra 0, convierta 0 en X y vaya a la derecha, luego convierta todos los 0 en 0 y vaya a la derecha.
- Paso 2. Luego convierta C en C y vaya a la derecha, luego convierta todo X en X y vaya a la derecha.
- Paso 3. Luego convierta 0 en X y vaya a la izquierda, luego convierta todo X en X y vaya a la izquierda.
- Paso 4. Luego convierta C en C y vaya a la izquierda, luego convierta todos los 0 en 0 y vaya a la izquierda, luego convierta todo X en X y vaya a la derecha y repita todo el proceso.
- Paso-5. De lo contrario, si C encontró, convierta C en C y vaya a la derecha, luego convierta todo X en B y vaya a la derecha, luego convierta 0 en 0, vaya a la izquierda y luego detenga la máquina.
Here, q0 shows the initial state and q1, q2, q3, q4, q5are the transition states and q6shows the final state. And X, 0, C are the variables used for subtraction and R, L shows right and left. Problem-2: Draw a Turing machine which subtract two numbers m and n, where m is greater than n. 
Steps:
- Paso 1. Si se encuentra 0, convierta todos los 0 en 0 y vaya a la derecha, luego convierta C en C y vaya a la derecha
- Paso 2. Si encuentra X, convierta todo X en X y vaya a la derecha o si encuentra 0, convierta 0 en X y vaya a la izquierda y vaya al siguiente paso; de lo contrario, vaya al quinto paso
- Paso 3. Luego convierta todo X en X y vaya a la izquierda, luego convierta C en C y vaya a la izquierda
- Paso 4. Luego convierta todos los 0 en 0 y vaya a la izquierda, luego convierta B en B y vaya a la derecha, luego convierta 0 en B y vaya a la derecha y repita todo el proceso.
- Paso-5. De lo contrario, si B encontró, convierta B en B y vaya a la izquierda, luego convierta todo X en B y vaya a la izquierda, luego convierta C en B y vaya a la izquierda y luego detenga la máquina.
Here, q0 shows the initial state and q1, q2, q3, q4, q5are the transition states and q6shows the final state. And B, X, 0, C are the variables used for subtraction(m>n) and R, L shows right and left and B variable is a input symbol. See for – Turing Machine for subtraction | Set 2