org.apache.daffodil.processors.dfa
The state machine is an array of states.
The state machine is an array of states. So each State has a distinguished index. 0 is reserved for the final state.
Runs the DFA.
Runs the DFA. Terminates when some state has an action that transitions to the final state.