空间规约只允许DTM使用若干个log n（n是输入长度）空间。对数空间规约在定义NL-完全（NLC，NL-complete）问题时候起作用。
NL.L是NL的子集，NL是可以被非确定型图灵机利用对数空间解决的判定问题集合。利用萨维奇定理的建构式证明，可得证NL包含在复杂度P之内，也就是可以被确定型图灵机在多项式空间解决的判定问题集合中。存在几个已知的NL-完全问题，如。根据萨维奇定理，我们已知有以下重要性质：
RL.在计算复杂度理论内，RL（Rando