Machine-translated by Google. Questions are authored in English.
Top

Discussion

The minimal DFA for a regular language is

  • A.not necessarily unique
  • B.always larger than the nondeterministic automaton it came from
  • C.impossible to compute for languages with more than ten states
  • D.unique up to the naming of its states

Answer: D

Minimisation yields a canonical machine. This uniqueness is what makes it possible to test two regular expressions for equivalence by minimising both automata and comparing the results. No comparable canonical form exists for context free grammars, which is why equivalence there is undecidable.

No comment is present. Be the first to comment.
Loading…

Post your comment

Please log in or register to post a comment.