De acuerdo con el Teorema de Savitch, esta clase es igual a la que considera máquinas de Turing no deterministas.