NFA’s and DFA’s are equivalent!

• The models are computationally equivalent (In this sketch, DFA has exponentially more states, though)

• Proof sketch:

  • each state of the DFA represents every possible set of states in the NFA

Previous slide

Next slide

Back to first slide

View graphic version