PV1 ⊧ Rankerconstructs the complement of a Büchi automaton

Application domain/field

• Büchi automata
• Automata theory
• Complementation

Expected input

Büchi automata

Format:

HOA or ba format

Expected output

Complement of the Büchi automaton

Internals

Ranker supports several types of $\omega$-automata:

• Büchi automata with mixed transition-based/state-based acceptance condition
• Generalized co-Büchi automata