Una razón para esto es que las máquinas de Turing son simples, y por tanto amenas al análisis.