多对一归约，令所有在EXPSPACE内的题目都可以归约成这个题目。换句话说，存在一个多项式时间的演算法可以将一个状况换成其他题目的另一个状况，并且答案一样。EXPSPACE-完全的题目也可以想做是EXPSPACE里面最难的题目。EXPSPACE是PSPACE，NP，和P的严格母集（前者包含且不等于后者）。并且也被相信是EXPTIME的严格母集。一个EXPSPACE-完全的例子是分辨两个正规表式是否是一样的语言这个问题。这里的表示限制使用四种操作子：联集，串街，克莱尼星号（可以是零个或多个重复的表示式