- 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.