Büchi automaton

noun

A type of ω-automaton that extends a finite automaton to infinite inputs. It accepts an infinite input sequence if there exists a run of the automaton that visits (at least) one of the final states infinitely often.

Ask AI about this wordChatGPTClaudePerplexityGoogle AIGrok

Meanings

nounBüchi automaton (plural Büchi automatons or Büchi automata)

plural Büchi automatons · plural Büchi automata

  1. computingA type of ω-automaton that extends a finite automaton to infinite inputs. It accepts an infinite input sequence if there exists a run of the automaton that visits (at least) one of the final states infinitely often.

Origin

Named after the Swiss mathematician Julius Richard Büchi, who invented this kind of automaton in 1962.

Full word history & related roots →
Cite this entry
APA

Büchi automaton. (n.d.). In WatkinsX Dictionary. Retrieved November 5, 2026, from https://dictionary.watkinsx.com/word/B%C3%BCchi%20automaton

MLA

“Büchi automaton.” WatkinsX Dictionary, https://dictionary.watkinsx.com/word/B%C3%BCchi%20automaton. Accessed November 5, 2026.

Chicago

WatkinsX Dictionary, s.v. “Büchi automaton,” accessed November 5, 2026, https://dictionary.watkinsx.com/word/B%C3%BCchi%20automaton.

Source: Büchi automaton on Wiktionary, CC BY-SA 4.0.