English Explanatory Dictionary

Büchi automaton

English dictionary entry

Meanings

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

Word forms

Büchi automaton Büchi automatons Büchi automata

Etymology

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

This entry uses open data from Wiktionary (CC BY-SA/GFDL). Word forms are used for search and are not indexed as separate pages.
Back to search All on B Russian dictionary Dahl dictionary