保持有向图区间性质的自动机的\v{C}ern\'y 猜想
形式语言与自动机理论
2012-07-12 v1
摘要
\v{C}ern\'y 猜想指出，对于每个具有 个状态的同步自动机，都存在一个长度不超过 的重置字。我们针对一类保持有向图区间某些性质的自动机证明了该猜想。我们的结果统一并推广了其他作者早期获得的一些结果。
关键词
引用
@article{arxiv.1207.2556,
title = {The Cerny conjecture for automata respecting intervals of a directed graph},
author = {M. Grech and A. Kisielewicz},
journal= {arXiv preprint arXiv:1207.2556},
year = {2012}
}