automata-theory Definition Automaton Equivalence Two automata A and B are equivalent if they accept the same language, i.e., L(A)=L(B).