Artykuł w czasopiśmie
Brak miniatury
Licencja
Dostęp zamkniętyNondeterministic and co-Nondeterministic Implies Deterministic, for Data Languages
Data publikacji
2021
Abstrakt (EN)
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.
Słowa kluczowe EN
Data languages
register automata
determinizability
de- terministic separability
sets with atoms
orbit-finite sets
nominal sets
Dyscyplina PBN
informatyka
Strony od-do
365-384
Link do źródła
Licencja otwartego dostępu
Dostęp zamknięty