摘要：证明NL严格包含于P。我们通过以下的结果得到这个分离：上下文无关语言的集合不包含在NL中。读者应该记住CFL包含在DTIME(n^3)中。
作者：Santiago Flum, J. Andres Montoya
论文ID：2304.04840
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2023-05-10
PDF 下载： 英文版 中文版pdf翻译中