Büchi automaton en · NOUN
Etymology
Named after the Swiss mathematician Julius Richard Büchi, who invented this kind of automaton in 1962.
Meanings
- 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
| Spelling | Features | Labels | Source |
|---|---|---|---|
| Büchi automata | Number=Plur | lexicographic | |
| Büchi automatons | Number=Plur | lexicographic |