Skip to content

Sections

Maps Timeline Graph Cosmos Life Culture Innovation People Climate Trends Art

Browse Dictionary Books Search

© 2026 Vinony · Knowledge from Wikipedia, Wikidata, and 27 public APIs.

Muller automaton · Vinony

🌐English

English Deutsch Français Português فارسی

EntityQ1436514· pop 6· linked from 7 articles

Muller automaton

Connections

Büchi automaton

Categories

Finite-state machines Infinite words Model checking

Sources

wikipedia.externallinksexternallink

mathematician

Entity

automata theory

computer scientist

David E. Muller

omega-regular language

Sign in to save

What links here7 pages

Büchi automaton

automata theory

Powerset construction

Infinite tree automaton

David E. Muller

Similar entities

Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).

probabilistic automaton

Entitydist 0.44

deterministic pushdown automaton

Entitydist 0.47

Entitydist 0.54

Lattice gas automaton

Entitydist 0.55

Leonardo's robot

Entitydist 0.55

Infinite tree automaton

Entitydist 0.55

Box–Muller transform

Entitydist 0.56

Sándor Müller

Entitydist 0.60

Entitydist 0.61

Entitydist 0.61

Entitydist 0.62

Entitydist 0.63