Scifaro

中文

Wagner 层次结构到盲计数器自动机的有效扩展

计算机科学中的逻辑 2010-06-02 v1 形式语言与自动机理论逻辑

作者: Olivier Finkel

在 arXiv 上查看 ↗ PDF ↗

摘要

将 Wagner 层次结构扩展到接受无限词且具有 Muller 接受条件的盲计数器自动机是有效的。我们精确确定了这一层次结构。

关键词

Wagner 层次结构盲计数器自动机 Muller 接受条件无限词有效扩展

引用

@article{arxiv.1005.5635,
  title  = {An Effective Extension of the Wagner Hierarchy to Blind Counter Automata},
  author = {Olivier Finkel},
  journal= {arXiv preprint arXiv:1005.5635},
  year   = {2010}
}