Automata on infinite words and infinite games

Büchi, generalized Büchi, parity, Rabin, Streett and Muller automata on infinite words, their emptiness and conversions, and parity games with attractors and traps.

• Büchi automata for infinitely often and eventually always
• Emptiness of Büchi automata
• Generalized Büchi automata
• Parity condition on infinite sequences
• Parity automata
• Parity games
• Rabin and Streett automata

The dependency explorer needs JavaScript and its graph data.

Download the complete graph data.