English

An Extremal Series of Eulerian Synchronizing Automata

Formal Languages and Automata Theory 2016-08-04 v2

Abstract

We present an infinite series of nn-state Eulerian automata whose reset words have length at least (n23)/2(n^2-3)/2. This improves the current lower bound on the length of shortest reset words in Eulerian automata. We conjecture that (n23)/2(n^2-3)/2 also forms an upper bound for this class and we experimentally verify it for small automata by an exhaustive computation.

Keywords

Cite

@article{arxiv.1604.02879,
  title  = {An Extremal Series of Eulerian Synchronizing Automata},
  author = {Marek Szykuła and Vojtěch Vorel},
  journal= {arXiv preprint arXiv:1604.02879},
  year   = {2016}
}

Comments

The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-662-53132-7_31