bn:02807030n
Noun Concept
EL
büchi αυτόματο  αυτόματο büchi
EN
In computer science and automata theory, a deterministic Büchi automaton is a theoretical machine which either accepts or rejects infinite inputs. Wikipedia
Relations
Sources
DISCOVERER OR INVENTOR