Descriptive Complexity
There is a simple logical characterization of NL: it contains precisely those languages expressible in first-order logic with an added transitive closure operator.
Read more about this topic: NL (complexity)
Famous quotes containing the word complexity:
“It is not only their own need to mother that takes some women by surprise; there is also the shock of discovering the complexity of alternative child-care arrangements that have been made to sound so simple. Those for whom the intended solution is equal parenting have found that some parents are more equal than others.”
—Elaine Heffner (20th century)