remove_fin bug
This is based on a report from František Blahoudek.
The run highlighted in red accepts the word cycle{b&c}
in the automaton with Fin removed, but this word is rejected by the original automaton displayed at the end.
This is based on a report from František Blahoudek.
The run highlighted in red accepts the word cycle{b&c}
in the automaton with Fin removed, but this word is rejected by the original automaton displayed at the end.