translation to improve
This was sent by František Blahoudek.
The translation of FGa | GFb&GFc
was recently improved (#260 (closed)) to a 3-state TGBA:
% ltl2tgba 'FGa | GFb&GFc'
However it could be reduced further by merging states 1 and 2:
This was sent by František Blahoudek.
The translation of FGa | GFb&GFc
was recently improved (#260 (closed)) to a 3-state TGBA:
% ltl2tgba 'FGa | GFb&GFc'
However it could be reduced further by merging states 1 and 2: