org.apache.daffodil.processors.dfa
Runs the DFA.
Runs the DFA. Terminates when some state has an action that transitions to the final state.
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.