Skip to content

Sections

Maps Timeline Graph Cosmos Life Culture Innovation People Climate Trends Art

Browse Dictionary Books Food Places Asteroids Search

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

Büchi automaton · Vinony

🌐English

English Deutsch Français Italiano Polski Português Русский فارسی ไทย

EntityQ1020380· pop 12· linked from 30 articles

Büchi automaton

Also known as Büchi automata

automaton which either accepts or rejects infinite inputs

Available in 11 languages

Français
Deutsch
Русский
Português
Italiano
Catalan
Czech
Polski
فارسی
ไทย

via Wikidata sitelinks · CC0

Connections

finite-state machine

regular language

Categories

Finite-state machines Infinite words Model checking

Sources

wikipedia.externallinksexternallink

Moshe Vardi

Entity

omega-regular language

computer science

International Standard Book Number

digital object identifier

equivalence relation

formal language

automata theory

depth-first search

Chomsky hierarchy

Sign in to save

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

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