Complementation of Büchi automaton