5 Aug
2015
5 Aug
'15
7:31 p.m.
If you enter (FGa)||(FGb) and tick the option for the degeneralized buchi automaton, it
still gives a generalised one.
5 Aug
5 Aug
10:13 p.m.
Hi Oscar,
On Wed, Aug 5, 2015 at 7:31 PM, Oscar Chang <oscar.chang(a)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,
--
Alexandre Duret-Lutz
3618
days inactive
3618
days old
1 comments
2 participants
participants (2)
-
Alexandre Duret-Lutz -
Oscar Chang