Accessible unary deterministic finite automaton
= Accessible unary deterministic finite automaton
An accessible automaton over one letter consists of a directed tail entering one directed cycle. Its minimal quotient is obtained by merging positions having the same future binary acceptance sequence.