References & Citations
Computer Science > Formal Languages and Automata Theory
Title: Generating Synchronizing Automata with Large Reset Lengths
(Submitted on 12 Apr 2014 (v1), last revised 28 Mar 2018 (this version, v4))
Abstract: We study synchronizing automata with the shortest reset words of relatively large length. First, we refine the Frankl-Pin result on the length of the shortest words of rank $m$, and the B\'eal, Berlinkov, Perrin, and Steinberg results on the length of the shortest reset words in one-cluster automata. The obtained results are useful in computation aimed in extending the class of small automata for which the \v{C}ern\'y conjecture is verified and discovering new automata with special properties regarding synchronization.
Submission history
From: Marek Szykuła [view email][v1] Sat, 12 Apr 2014 19:00:47 GMT (33kb)
[v2] Thu, 17 Apr 2014 17:43:44 GMT (33kb)
[v3] Fri, 18 Mar 2016 17:18:36 GMT (17kb)
[v4] Wed, 28 Mar 2018 15:08:41 GMT (17kb)
Link back to: arXiv, form interface, contact.