Open Access 2021 | OriginalPaper | Chapter
Nondeterministic and co-Nondeterministic Implies Deterministic, for Data Languages
Authors : Bartek Klin, Sławomir Lasota, Szymon Toruńczyk
Published in: Foundations of Software Science and Computation Structures
Publisher: Springer International Publishing
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.