2026-08-17T21:00:13Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:18166 2024-03-06T11:01:12Z ddc:004 open_access

Nominal Topology for Data Languages Birkmann, Fabian Milius, Stefan Urbat, Henning Nominal sets Stone duality Profinite space Data languages 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. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Fabian Birkmann and Stefan Milius and Henning Urbat 2023 Is Part Of LIPIcs, Volume 261, 50th International Colloquium on Automata, Languages, and Programming (ICALP 2023) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.ICALP.2023.114 urn:nbn:de:0030-drops-181662 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2023.114 eng https://creativecommons.org/licenses/by/4.0/legalcode