Büchi automaton

From Wiktionary, the free dictionary
Jump to navigation Jump to search

English[edit]

English Wikipedia has an article on:
Wikipedia

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)

  1. (computing theory) 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.
Retrieved from "https://en.wiktionary.org/w/index.php?title=Büchi_automaton&oldid=58648517"