Muller automaton
Sign in to saveIn the Vinony graph
Vinony's link graph records 7 inbound references to Muller automaton, and connects out to ω-automaton, Büchi automaton and mathematician.
Vinony files it under Finite-state machines, Infinite words and Model checking.
Vinony links it to 6 Wikipedia language editions.
Wikidata facts
- Instance of
- finite-state machine
- Named after
- David E. Muller
Show 1 more fact
- discoverer or inventor
- David E. Muller
Sources (1)
via Wikidata · CC0