MaxiSchwindler

Fix to_state_setup() with unreachable states

4

The method `to_state_setup()` of multiple automata types (DFA, Mealy, Moore) fails when the automaton contains an unreachable state (i.e. the state's prefix is `None` - not an empty tuple!). This...