Büchi automata (English, noun)
expansion: Büchi automata
Senses:
glosses: plural of Büchi automaton
tags: form-of
plural
Forms: