Büchi automaton
Jump to navigation
Jump to search
English
[edit]Etymology
[edit]Named after the Swiss mathematician Julius Richard Büchi, who invented this kind of automaton in 1962.
Noun
[edit]Büchi automaton (plural Büchi automatons or Büchi automata)