1. A computer-implemented method for generating a TFA from an NFA having a finite set of states, a finite set of input symbols and a transition function covering each state and input symbol, the TFA having, at most, b concurrent active states, the computer-implemented method comprising: a) receiving, as input by a computer system including a least one processor, a DFA representation of the NFA; b) regrouping, with the computer system, the NFA active state combination associated with each state of the DFA into up to b subsets, with the objective of minimizing the number of total distinct subsets; c) generating, with the computer system, one TFA state for each of the distinct subsets; d) for each of the DFA states, storing, with the computer system, pointers to the up to b TFA states in a table entry associated with the NFA active state combination of the DFA state; e) associating, with the computer system, each of the TFA states with appropriate transition representations using the transition functions of the NFA states corresponding to the TFA state; f) storing, with the computer system, each of the TFA states; and g) storing, with the computer system, for each of the TFA states, each of the appropriate transition representations in association with the TFA state and a corresponding input symbol.