是一个复杂度类，是能被确定型图灵机在对数空间下解决的函数问题的集合。 依照同样的原理，可以定义相应的FP，FNP，TFNP。FL常用来定义对数空间归约（Log-space reduction，Log-空间规约）。对数空间归约指仅使用对数空间的确定型图灵机进行的规约。区别于常见的多项式时间规约，对数空间规约只允许DTM使用若干个log n（n是输入长度）空间。对数空间规约在定义NL-完全（NLC，NL-complete）问题时候起作用。
NL.L是NL的子集，NL是可以被非确定