Scifaro

中文

规范 BPA 过程的分支互模拟属于 NEXPTIME

计算机科学中的逻辑 2015-12-21 v2 形式语言与自动机理论

作者: Wojciech Czerwiński , Petr Jančar

在 arXiv 上查看 ↗ PDF ↗

摘要

Yuxi Fu (ICALP 2013) 最近证明了规范 BPA 过程上的分支互模拟是可判定的，但其证明未提供任何复杂度上界。我们提出了一种基于相对素分解的更简单方法，该方法导出了一个非确定性指数时间算法；这与已知的指数时间下界非常接近。

关键词

分支互模拟规范 BPA 过程可判定性复杂度界 NEXPTIME 相对素分解进程代数

引用

@article{arxiv.1407.0645,
  title  = {Branching Bisimilarity of Normed BPA Processes is in NEXPTIME},
  author = {Wojciech Czerwiński and Petr Jančar},
  journal= {arXiv preprint arXiv:1407.0645},
  year   = {2015}
}

备注

This is the same text as in July 2014, but only with some acknowledgment added due to administrative needs