We describe a new version of the so-called extension method that was used to prove quadratic upper bounds on the minimum length of reset words for various important classes of synchronizing automata. Our approach is formulated in terms of Markov chains; it is in a sense dual to the usual extension method and improves on a recent result by Jungers. As an application, we obtain a quadratic upper bound on the minimum length of reset words for a generalization of Eulerian automata. © 2012 Springer-Verlag.
CITATION STYLE
Berlinkov, M. V. (2012). Synchronizing automata on quasi-Eulerian digraph. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 7381 LNCS, pp. 90–100). https://doi.org/10.1007/978-3-642-31606-7_8
Mendeley helps you to discover research relevant for your work.