Turing reduction
SL = co-SL の重要な系の1つとして、LSL = SL がある。すなわち、決定性の対数領域を持つチューリング機械にSLの神託機械を付加すると、SLに属する問題は明らかに解けるが、それ以外の問題は解けない。これは、ある問題がSLに属することを示すのに、チューリング還元でも多対一還元でもよいということを示している。