XPTIME的严格母集。一个EXPSPACE-完全的例子是分辨两个正规表式是否是一样的语言这个问题。这里的表示限制使用四种操作子：联集，串街，克莱尼星号（可以是零个或多个重复的表示式），和平方（两份表示式）。如果我们排除星号，则这个问题变成NEXPTIME-完全，这个复杂度类有点类似EXPTIME-完全，不过使用的机器是非决定性图灵机而非一般的图灵机。L. Berman在1980年证明了，证明或反证任何有关实数并且牵涉加法和比较大小（但不牵涉乘法）的一阶陈述，这个问题在EXPSPACE内。