finite synchronizing automaton | BriefGPT

关键词finite synchronizing automaton

搜索结果 - 1

随机自动机的最短重置词的实验研究
使用 SAT 求解器来寻找有限同步自动机的最短重置词的方法进行描述，并对最短重置词的长度进行了实验研究。根据实验结果，提出一个假设：在具有高概率的 n 个状态和 2 个输入字母的随机有限自动机中，最短重置词的长度相对于 n 是次线性的，并且
PDF13 years ago