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(a)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=las…
as well as the "unstable" Debian packages both have the fix.
--
Alexandre Duret-Lutz