图灵机
尽管至今没有证明，但一般认为，将P中的确定型图灵机更改为非确定图灵机后得到的NP类有formula_6成立。然而，对于PSPACE，将确定型图灵机更改为非确定型图灵机，得到的NPSPACE并不比PSPACE大。原因是根据萨维奇定理，formula_7，这个定理的结论指出，虽然非确定性问题需要更多时间解决，两者的空间需求还是一致的。