Extremal minimality conditions on automata