Este tipo de máquinas nos permite descubrir si para una determinada entrada "n", la máquina se va a detener o no: