This closure property suggests NSPACE captures essential symmetries in computation that NTIME misses...
This proposition has not been edited since the history system was added.