El Teorema de Savitch permite establecer una relación entre clases basadas en máquinas de Turing deterministas y no deterministas: