Talk:Semi-deterministic Büchi automaton