Skip to content

Sections

Maps Timeline Graph Cosmos Life Culture Innovation People Climate Trends Art

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

Büchi automaton · Vinony

EntityQ1020380· pop 12· linked from 30 articles

Büchi automaton

Sign in to save

automaton which either accepts or rejects infinite inputs

Connections

finite-state machine

regular language

omega-regular language

computer science

International Standard Book Number

digital object identifier

equivalence relation

formal language

automata theory

depth-first search

Chomsky hierarchy

Categories

Finite-state machines Infinite words Model checking

Sources

wikipedia.externallinksexternallink

What links here30 pages

omega-regular language

Muller automaton

SPIN model checker

Julius Richard Büchi

linear temporal logic

partially observable Markov decision process

automata theory

Powerset construction

Similar entities

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

two-way deterministic finite automaton

Entitydist 0.46

deterministic context-free language

Entitydist 0.56

model checking

Entitydist 0.61

Entitydist 0.65

Wolfram Burgard

Entitydist 0.67

Entitydist 0.67

Langton's loops

Entitydist 0.69

Entitydist 0.69

Institut National de Recherche en Informatique et en Automatique

Entitydist 0.70

Forever Enthralled

Entitydist 0.71

Entitydist 0.71

Entitydist 0.71