小型自动机的 \v{C}ern\'{y} 猜想：实验报告
形式语言与自动机理论
2013-01-11 v1
摘要
我们报告了一系列涉及计算状态数较少的自动机的最短重置字的实验结果。我们确认 \v{C}ern\'{y} 猜想对于所有具有不超过 11 个状态和 2 个字母的自动机均成立。此外还获得了一些新的有趣结果，包括最短重置字分布中的第三个间隙以及新的慢同步自动机类。
引用
@article{arxiv.1301.2092,
title = {The \v{C}ern\'{y} conjecture for small automata: experimental report},
author = {Jakub Kowalski and Marek Szykuła},
journal= {arXiv preprint arXiv:1301.2092},
year = {2013}
}