Next: Complexity values
Up: Automaton Representations
Previous: Linear Search : the Transpose
We put a flag in the tag of each state indicating if the state is in I or/and
in F, however in certain cases the use of a bit vector is recommended to save
memory space, particularly if |I| and |F| are very low.