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.