# Is it known if $CFL \subseteq NSPACE(o(log^2(n)))$?

$CFL$ is the class of context-free languages.

Question

Is $CFL$ known to be solvable in $o(log^{2}(n))$ non-deterministic space? What about $DCFL$?

• Theorem 4 only shows the $\log^2 n$ bound? – Hsien-Chih Chang 張顯之 Jan 16 '18 at 20:12
• Thank you @Hsien-ChihChang張顯之 ! Yes, I might not have made my question clear enough. I was asking if we can do better than $\log^2(n)$ space. I updated the question changing "less than" to little oh to hopefully clarify. – Michael Wehar Jan 16 '18 at 20:18