The Cerný conjecture for automata respecting intervals of a directed graph
2013 ◽
Vol Vol. 15 no. 3
(Automata, Logic and Semantics)
◽
Automata, Logic and Semantics International audience The Cerný's conjecture states that for every synchronizing automaton with n states there exists a reset word of length not exceeding (n - 1)2. We prove this conjecture for a class of automata preserving certain properties of intervals of a directed graph. Our result unifies and generalizes some earlier results obtained by other authors.
2010 ◽
Vol DMTCS Proceedings vol. AM,...
(Proceedings)
◽
2010 ◽
Vol DMTCS Proceedings vol. AN,...
(Proceedings)
◽
Keyword(s):
2012 ◽
Vol DMTCS Proceedings vol. AR,...
(Proceedings)
◽
Keyword(s):
2014 ◽
Vol DMTCS Proceedings vol. AT,...
(Proceedings)
◽
2010 ◽
Vol Vol. 12 no. 4
◽
Keyword(s):
2020 ◽
Vol DMTCS Proceedings, 28th...
◽
2016 ◽
Vol 27
(02)
◽
pp. 127-145
◽