PV1 ⊧ Seminatortransforms a transition-based generalised Büchi automaton into an equivalent semi-deterministic one

Application domain/field

• Automata
• Transition-based generalised Büchi automata (TGBAs)
• Semi-deterministic automata
• Automata transformation
• Automata translator

Expected input

Transition-based generalised Büchi automata (TGBA), Transition-based Büchi automata (TBA) or Büchi automata (BA)

Format:

HOA format

Expected output

Semi-deterministic TGBA/TBA/BA (type of automata that is produced depends on configuration/options).

Internals

Transforms transition-based generalised Büchi automata (TGBAs) into equivalent semi-deterministic automata

Comments

"Seminator 2 is an almost complete rewrite of Seminator."