Birla Institute of Technology: Theory of Computation (Ca415)
Birla Institute of Technology: Theory of Computation (Ca415)
Equivalence of DFAs
Two DFAs(Deterministic Finite Automata) are
said to be equivalent if they recognize the same
language . In other words , if the two DFAs
accept exactly the same set of strings over the
same alphabet.
Equivalence of NFAs
Two non – deterministic finite automata(NFAs)
are said to be equivalent if they recognize the
same language that is , if they accept the same
set of strings.