Scifaro

中文

关于 Kolmogorov-Uspensky 机器的注记

计算复杂性 2012-11-26 v1 形式语言与自动机理论

作者: Holger Petersen

在 arXiv 上查看 ↗ PDF ↗

摘要

针对 Shvachko 提出的一个开放问题，本文证明了某种变体的指针机器无法实时识别的语言，可以被 Kolmogorov-Uspensky 机器实时接受。

关键词

Kolmogorov-Uspensky 机器指针机器实时可识别性形式语言计算复杂性

引用

@article{arxiv.1211.5544,
  title  = {A Note on Kolmogorov-Uspensky Machines},
  author = {Holger Petersen},
  journal= {arXiv preprint arXiv:1211.5544},
  year   = {2012}
}