bn:02807030n
Noun Concept
JA
No term available
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