Word.ws English Dictionary

Büchi automatons

Büchi automatons is the plural of Büchi automaton.

Meaning of Büchi automaton

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.

Questions about Büchi automatons

What is Büchi automatons the plural of?
Büchi automatons is the plural of Büchi automaton.

Words near Büchi automatons in the dictionary

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

Source and license

Adapted from Wiktionary: Büchi automatons (page history and authors); 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 automatons.” Word.ws, https://word.ws/b%C3%BCchi_automatons. Based on Wiktionary, CC BY-SA 4.0.