Nominal Topology for Data Languages

Fabian Birkmann, Stefan Milius, Henning Urbat

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 space…