随机自动机最短重置词的实验研究
形式语言与自动机理论
2015-03-19 v1
摘要
本文描述了一种利用SAT求解器寻找有限同步自动机最短重置词的方法。我们使用该方法对有限同步自动机最短重置词的长度进行了实验研究。我们考虑的最大自动机具有100个状态。实验结果使我们能够提出一个假设：对于具有n个状态和2个输入字母的随机有限自动机，其最短重置词的长度以高概率相对于n是次线性的，并可估计为1.95 n^{0.55}。
引用
@article{arxiv.1105.1704,
title = {Experimental Study of the Shortest Reset Word of Random Automata},
author = {Evgeny Skvortsov and Evgeny Tipikin},
journal= {arXiv preprint arXiv:1105.1704},
year = {2015}
}