Büchi automaton
English
editEtymology
editNamed after the Swiss mathematician Julius Richard Büchi, who invented this kind of automaton in 1962.
Noun
editBüchi automaton (plural Büchi automatons or Büchi automata)
Named after the Swiss mathematician Julius Richard Büchi, who invented this kind of automaton in 1962.
Büchi automaton (plural Büchi automatons or Büchi automata)