PolyL的严格子集，因为对前者，他需要存在一个解决问题的演算法"同时"满足多项式时间以及多项式对数空间两个条件；而对后者这个联集来说，他只需要两个各自的演算法，其中一个是多项式时间，另一个是多项式对数空间即可以满足。DCFL，这个复杂度类是上下文无关语言的子集，使用确定下推自动机来验证。DCFL已知是包含在SC内的，由Cook在1979年证明。RL和BPL是能够以概率图灵机在多项式时间和多项式对数空间解决的复杂度类。Nisan在1992年证明了一个较弱的去随机化，因此可以证明这两个复杂度类都在S