Word.ws English Dictionary

Büchi automaton

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.

Noun

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

  1. 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.

Forms of Büchi automaton

pluralBüchi automatons
pluralBüchi automata

Origin of Büchi automaton

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

Questions about Büchi automaton

What does Büchi automaton mean?
Büchi automaton means 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.
What part of speech is Büchi automaton?
Büchi automaton is a noun.
What is the plural of Büchi automaton?
The plural of Büchi automaton is Büchi automatons.

Words near Büchi automaton in the dictionary

  1. Bølling-Allerød
  2. Børselv
  3. Bøur
  4. Büchen
  5. Büchi automata
  6. Büchi automaton
  7. Büchi automatons
  8. Büchner
  9. Büchner flask
  10. Büchner flasks
  11. Büchner funnel

Source and license

Adapted from Wiktionary: Büchi automaton (page history and authors). Text available under the Creative Commons Attribution-ShareAlike 4.0 license. Word.ws reformatted the entry and added links. Wiktionary data of 2026-09-02.

Last updated:

Cite this entry: “Büchi automaton.” Word.ws, https://word.ws/b%C3%BCchi_automaton. Based on Wiktionary, CC BY-SA 4.0.