the generator is parametrized with number of states, initial states, and final
states; additionally duplicate, redundant, unreachable states are generated

transition function is filled in transition partitions:
{state, unreachable, redundant} vs {state, unreachable, redundant}