题目。EXPSPACE是PSPACE，NP，和P的严格母集（前者包含且不等于后者）。并且也被相信是EXPTIME的严格母集。一个EXPSPACE-完全的例子是分辨两个正规表式是否是一样的语言这个问题。这里的表示限制使用四种操作子：联集，串街，克莱尼星号（可以是零个或多个重复的表示式），和平方（两份表示式）。如果我们排除星号，则这个问题变成NEXPTIME-完全，这个复杂度类有点类似EXPTIME-完全，不过使用的机器是非决定性图灵机而非一般的图灵机。L. Berman在1980年证明了，证明