Hi Oscar,

On Wed, Aug 5, 2015 at 7:31 PM, Oscar Chang oscar.chang@stcatz.ox.ac.uk wrote:

If you enter (FGa)||(FGb) and tick the option for the degeneralized buchi automaton, it still gives a generalised one.

Thank you for the report, but unfortunately I cannot reproduce it.

If I enter this formula I get a transition-based BA with a single acceptance set. When I tick the "state-based degeneralized Büchi automaton" box, I get the same automaton but with state-based acceptance (as expected). See attached screenshots.

It might be browser related; what do you use? I've tested with Iceweasel 38.0.1 and Chromium 43.0.2357.65.

Best regards,