20 Oct
2015
20 Oct
'15
5:28 a.m.
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
