autfilt -u ignores acceptance conditions
If I'm reading the code correctly, autfilt -u
removes automata with the same transition structure, but it ignores the acceptance condition. I'd expect that two isomorphic automata that don't share the acceptance condition would be both output.