Representing the subsets I, F of Q

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.