Scifaro

中文

某些特殊情形下态射序列的几乎周期性判据

离散数学 2007-05-23 v1 计算机科学中的逻辑

作者: Yuri Pritykin

在 arXiv 上查看 ↗ PDF ↗

摘要

在某些特殊情形下，我们给出了态射序列为几乎周期（=一致回复）的判据。即，我们处理非擦除态射的不动点和自动序列。在这两种情形下，都找到了解决问题的多项式时间算法。给出了一个或多或少支持该一般问题可判定性猜想的结果。

关键词

态射序列几乎周期性一致回复自动序列不动点可判定性多项式时间算法

引用

@article{arxiv.0704.0218,
  title  = {On Almost Periodicity Criteria for Morphic Sequences in Some Particular Cases},
  author = {Yuri Pritykin},
  journal= {arXiv preprint arXiv:0704.0218},
  year   = {2007}
}

备注

9 pages. To be presented on 11th International Conference on Developments in Language Theory (DLT'2007), Turku, Finland, July 2007.