PACE"这个复杂度类。APSPACE的意思是包含了所有可以用交替式图灵机在多项式空间内解决的问题。这种定义方式也是一种看出PSPACE formula_2 EXPTIME的方式，因为已知交替式图灵机至少跟确定型图灵机计算能力一样。EXPTIME是指数谱系（exponential hierarchy）内的其中一个复杂度类。2-EXPTIME这个复杂度类则使用类似EXPTIME的定义方式，但是使用双指数函数（Double exponential function）的时间限制formula_11。使用类似方