determinizeSimple

Simple, original brics implementation of determinize()


Simple, original brics implementation of determinize() Determinizes the given automaton using the given set of initial states.