For every NFA, there exists an equivalent DFA
Let be an NFA that recognizes some language
The idea of Powerset construction was originally derived from this proof idea.
More
Read article at Wikipedia
Nondeterministic finite state machine/Proofs
You can help improve this topic by adding more facts here