In computational complexity theory, the complexity class NL corresponds precisely to the set of logical sentences expressible in TC.
У сложеној рачунарској теорији, комплексност класе NL одговара тачно скупу логичких израза изражених у TC.