🔍
🏠
Wikipedia
🎲
Complementation of Büchi automaton