An optimum nfa state machine.