En teoría de la complejidad computacional, la clase de complejidad SL (espacio logarítmico simétrico, del inglés Symmetric Logspace o Sym-L) es el conjunto de los problemas de decisión que pueden ser resueltos por una máquina de Turing no determinista en espacio "log(n)" (sin contar el tamaño de la entrada), donde "n" es el tamaño de la entrada, tal que: