En el caso de la complejidad espacial, se puede caracterizar la clase de lenguajes PSPACE: