关于最小可用空间的新结果

Zuzana Bednárová; Viliam Geffert; Klaus Reinhardt; Abuzer Yakaryilmaz

关于最小可用空间的新结果

形式语言与自动机理论 2015-08-05 v2 计算复杂性量子物理

作者: Zuzana Bednárová , Viliam Geffert , Klaus Reinhardt , Abuzer Yakaryilmaz

摘要

我们给出了识别非正则语言的最小空间需求的若干新结果：(i) 实时非确定型 Turing 机可以在弱 $\log\log n$ 空间内识别非正则一元语言；(ii) $\log\log n$ 是在弱实时下推自动机上接受一般非正则语言的紧致空间下界；(iii) 存在由实时交替单计数器自动机在弱 $\log n$ 空间内接受的非正则一元语言；(iv) 存在由双向确定型下推自动机在强 $\log\log n$ 空间内接受的非正则语言；以及 (v) 存在由使用量子态与经典态的双向单计数器自动机在中等 $\log n$ 空间内以有界误差接受的非正则一元语言。

关键词

空间复杂度非确定型 Turing 机下推自动机量子自动机非正则语言实时计算

引用

@article{arxiv.1405.2892,
  title  = {New Results on the Minimum Amount of Useful Space},
  author = {Zuzana Bednárová and Viliam Geffert and Klaus Reinhardt and Abuzer Yakaryilmaz},
  journal= {arXiv preprint arXiv:1405.2892},
  year   = {2015}
}

备注

21 pages. An extended and revised version with two new authors

关于最小可用空间的新结果

摘要

关键词

引用

备注

相关论文