Explore relationships

Muller automaton

In automata theory, a Muller automaton is a type of an ω-automaton. The acceptance condition separates a Muller automaton from other ω-automata.

Use + to expand a branch. Click a topic name to open its summary.