Next: DFA Construction (2)
Up: No Title
Previous: Simulating a DFA
- DFA-states are numbered from 0.
- 0 is the error state, corresponding to the empty
set of NFA-states. The DFA goes into state 0,
iff the NFA would have blocked because no edge matched the input symbol.
- states is an array which maps each DFA-state to the set of
NFA states it represents. trans is a matrix of transitions from
state numbers to state numbers.