Contextualizebeta

Büchi automaton

noun

Etymology

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

Definitions

  1. A type of ω-automaton that extends a finite automaton to infinite inputs. It accepts an…

    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.

The neighborhood

Vish — recursive loop

No curated loop yet for Büchi automaton. Loops are being traced one word at a time while the ingestion pipeline matures.

sense glosses and etymology drawn from English Wiktionary · source · CC-BY-SA