El conjunto PSPACE es un subconjunto estricto del conjunto de lenguajes sensibles al contexto.