Complementation of Büchi automaton

1. REDIRECT Büchi automaton#Complementation

{{R from merge}}

{{R to section}}

Category:Automata (computation)