bn:02807030n
Noun Concept
NL
büchi automaat
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
Wikipedia Translations