Transformation To Deterministic Muller Automaton
- Union of two deterministic muller automaton
- From Büchi automaton
McNaughton's Theorem provides a procedure to transform non-deterministic Büchi automaton to deterministic Muller automaton.
Read more about this topic: Muller Automaton