English Semi-deterministic Büchi automaton Cited by user Fschwarzentruber on 05 Dec 2019 In automata theory, a semi-deterministic Büchi automaton (also known as Büchi automaton deterministic in the limit, or limit-deterministic Büchi automaton) is a special…