L也称为LSPACE，是计算复杂度理论中能被确定型图灵机利用对数空间解决的判定问题集合。

L是NL的子集合，NL是可以被非确定型图灵机利用对数空间解决的判定问题集合。利用萨维奇定理的建构式证明，可得证NL包含在复杂度P之内，也就是可以被确定型图灵机在多项式空间解决的判定问题集合中。因此L ⊆ NL ⊆ P。

重要的相关未解问题包括复杂度类L和P是否恒等（L = P）及复杂度类L和NL是否恒等（L = NL）。

和功能性问题相关的类别是FL。FL常用来定义对数空间归约。

In computational complexity theory, L (also known as LSPACE or DLOGSPACE) is the complexity class containing decision problems that can be solved by a deterministic Turing machine using a logarithmic amount of memory space. Logarithmic space is sufficient to hold a constant number of pointers into the input and a logarithmic number of boolean flags, and many basic logspace algorithms use the memory in this way.