Büchi automaton
Englisch
Bedeutung Büchi automaton Bedeutung
Was beudeutet auf Englisch Büchi automaton?
Büchi automaton
noun
—
(comptheory) 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.
Suchen Sie vielleicht...?