Equivalence between two automata
问题 Which is the best or easiest method for determining equivalence between two automata? I.e., if given two finite automata A and B, how can I determine whether both recognize the same language? They are both deterministic or both nondeterministic. 回答1: Two nondeterministic finite automota (NFA's) are equivalent if they accept the same language. To determine whether they accept the same language, we look at the fact that every NFA has a minimal DFA, where no two states are identical. A minimal