Por lo tanto, es equivalente a las máquinas de Turing.