形式化定义.如果规定 formula_1 为至多 formula_2 空间内能被确定型图灵机解决的问题的集合（formula_3 是输入大小 formula_4 的函数），那么，PSPACE可被形式化地定义为：PSPACE真包含上下文有关语言，这种语言等价于线性有界非确定图灵机。尽管至今没有证明，但一般认为，将P中的确定型图灵机更改为非确定图灵机后得到的NP类有formula_6成立。然而，对于PSPACE，将确定型图灵机更改为非确定型图灵机，得到的NPSPACE并不比PSPACE大。原因是根据萨