teach sbacc about sink states
This came up in a test case updated by @tmedioni in dualize.py
.
If we run sbacc()
on the following automaton:
we get:
However since input state 1 is a positive sink, we would prefer to generate:
Since positive and negative sinks seems to be useful in a few places, maybe we should have a dedicated function returning them.