EP1436718B1 - Method of Generating a DFA State Machine That Groups Transitions into Classes in Order to Conserve Memory