Nominal Topology for Data Languages
| Autor: | Birkmann, Fabian, Milius, Stefan, Urbat, Henning |
|---|---|
| Rok vydání: | 2023 |
| Předmět: | |
| DOI: | 10.48550/arxiv.2304.13337 |
| Popis: | We propose a novel topological perspective on data languages recognizable by orbit-finite nominal monoids. For this purpose, we introduce pro-orbit-finite nominal topological spaces. Assuming globally bounded support sizes, they coincide with nominal Stone spaces and are shown to be dually equivalent to a subcategory of nominal boolean algebras. Recognizable data languages are characterized as topologically clopen sets of pro-orbit-finite words. In addition, we explore the expressive power of pro-orbit-finite equations by establishing a nominal version of Reiterman's pseudovariety theorem. Comment: Extended version of the corresponding paper accepted for ICALP 2023 |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|