摘要：没有空间开销的图灵机模型: 向非确定性多项式时间复杂度证明全部上下文无关语言能被接受, 对于有确定性的上下文无关语言, 也能用确定性多项式时间复杂度接受.
作者：Lane A. Hemaspaandra, Proshanto Mukherji, and Till Tantau
论文ID：cs/0410035
分类：Computational Complexity
分类简称：cs.CC
提交时间：2007-05-23
PDF 下载： 英文版 中文版pdf翻译中