Dear Spot developers,
Attached is an automaton accepting an empty language. I think it is
supposed to be unambiguous. But when I ran the following command, I
got 0.
autfilt --count --is-unambiguous empty.hoa
After tracing the code, I found that the problem might be caused by
get_init_state_number (called in the product function), which creates
a new state if the input automaton has no state.
--
Ming-Hsien
