NL (計算複雑性理論)
NLの簡単な論理的定義として、推移閉包演算子を付与した一階述語論理で表される言語がNLに含まれる。