automata de control redundante