Büchi automaton (English, noun)
expansion: Büchi automaton (plural Büchi automatons or Büchi automata)
Senses:
topics: computing
computing-theory
engineering
mathematics
natural-sciences
physical-sciences
sciences
glosses: 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:
form: Büchi automatons
tags: plural
form: Büchi automata
tags: plural