Skip to content

remove_fin bug

This is based on a report from František Blahoudek.

bug

remfin-bug.ipynb

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.