I am using Java 1.6 and I downloaded the last SVN revision of TRUNK today (revision number 1276 on the 12th March 2009).
Problem:
For formula LTL2Buchi.translate(“ ! ( ( <> a ) && ( <> b ) ) ”) I get automaton
RES = S0,
S1=(!a-> S1),
S2=(!b-> S2),
S0=(!a-> S1 |!b-> S2).
AS = { S1, S2 }
State S0 is not accepting, but I think it should be. (?)
For example, if I use the code of Denis Oddoux (at http://www.lsv.ens-cachan.fr/~gastin/ltl2ba/index.php\), for the same formula, I get the same automaton, where S0 is accepting.
