冗余自动机

redundance automaton redundancy automaton  detail>>