Answers are grounded in this paper and cite their sources.
In this paper we show that nondeterministic space $s(n)$ is closed under complementation for $s(n)$ greater than or equal to log n. It immediately follows that the context-sensitive languages are closed under complementation, thus settling a question raised by Kuroda [Inform. and Control, 7 (1964), pp. 207–233].
No takes yet. Share an insight, caveat, or question.
Neil Immerman (1988) studied this question.
Synapse has enriched 5 related papers. Consider them for comparative context: