Un importante resultado de la teoría de la complejidad es que PSPACE puede ser caracterizada como todas las lenguas reconocidas por la presencia de un sistema interactivo de la prueba (interactive proof system), una definición de la clase IP.