automata-theory Definition Automaton Equivalence Two automata and are equivalent if they accept the same language, i.e., .