Büchi automaton

短语

词形变化

Büchi automata Büchi automatons 复数 Büchi automatons Büchi automata 复数

释义与例句

n.
  1. 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.

    计算机 工程 数学

词源

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

来源：wiktionary