HomeServicesBlogDictionariesContactSpanish Course
Home › Dictionary › English › Büchi automaton
← Back to search

Meaning of Büchi automaton | Babel Free

Noun CEFR B2

Definitions

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.

CEFR level

B2
Upper Intermediate
This word is part of the CEFR B2 vocabulary — upper intermediate level.
See all B2 English words →

See also

buchiid buchikamashi Buchin Buchinger Buchko Buchleitner

Learn this word in context

See Büchi automaton used in real conversations inside our free language course.

Start Free Course

Know this word better than we do? Language is a living thing — help us keep it growing. Collaborate with Babel Free