20 Oct
2015
20 Oct
'15
2:04 p.m.
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