La clase de complejidad PSPACE puede definirse en términos de DSPACE como: