minimal automaton

An automaton possessing with redundant states.