quasiperfect automaton

Мат. квазисовершенный автомат