es decir, la unión de todas las clases de complejidad espacial polinómicas sobre Máquinas de Turing deterministas.