Scifaro

中文

关于片段可测试性的 Simon 同余指数

形式语言与自动机理论 2016-07-07 v5 离散数学组合数学

作者: Prateek Karandikar , Manfred Kufleitner , Philippe Schnoebelen

在 arXiv 上查看 ↗ PDF ↗ DOI ↗

摘要

Simon 同余（记作 \sim_n）关联了具有相同长度至多为 n 的子词的单词。我们证明，在 $k$ 字母表上，模 \sim_n 的单词数量级为 $2^{\Theta(n^{k-1} \log n)}$ 。

关键词

Simon 同余片段可测试性指数子词字母表渐近界

引用

@article{arxiv.1310.1278,
  title  = {On the index of Simon's congruence for piecewise testability},
  author = {Prateek Karandikar and Manfred Kufleitner and Philippe Schnoebelen},
  journal= {arXiv preprint arXiv:1310.1278},
  year   = {2016}
}