Unambiguous test on empty automata
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
Hi Ming-Hsien, On Tue, Oct 20, 2015 at 5:28 AM, Ming-Hsien Tsai <mhtsai208@gmail.com> wrote:
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
That's indeed bogus, thank you for the report! It willl be fixed in the next release. In the meantime, the developement version available from http://teamcity.lrde.epita.fr/viewLog.html?buildTypeId=bt16&buildId=lastFinished&buildBranch=next&tab=artifacts&guest=1 as well as the "unstable" Debian packages both have the fix. -- Alexandre Duret-Lutz
participants (2)
-
Alexandre Duret-Lutz -
Ming-Hsien Tsai