In computational complexity theory, the complexity class NL corresponds precisely to the set of logical sentences expressible in TC.
در نظریه پیچیدگی محاسباتیاین پیچیدگی کلاس NL دقیقاً مربوط به مجموعه‌ای از منطقی جملات expressible در TC.