計算複雑性理論において、複雑性クラスNLは一階述語論理に推移閉包を追加した論理で表される論理式と正確に対応している。
在计算复杂性理论中，复杂度类NL严格对应于可使用一阶逻辑和传递闭包表达的逻辑句子的集合。