Open Access 2021 | OriginalPaper | Buchkapitel
Nondeterministic and co-Nondeterministic Implies Deterministic, for Data Languages
verfasst von : Bartek Klin, Sławomir Lasota, Szymon Toruńczyk
Erschienen in: Foundations of Software Science and Computation Structures
We prove that if a data language and its complement are both recognized by nondeterministic register automata (without guessing), then they are also recognized by deterministic ones.