-
Ing. Jan Trávníček authored
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}
03aace38