Cerny type automata and rank conjecture

Igor Rystsov

The aim of this paper is to prove the Černý conjecture and the rank conjecture for Černý type automata and monoids. A transformation monoid is said to be Černý type if it is…