Closed grphil closed 5 years ago
(Bug occured when initial non-determined fsm had no final states with transitions to non-final states, while determined version had such states)
(Bug occured when initial non-determined fsm had no final states with transitions to non-final states, while determined version had such states)