Apr 26, 2023 · Abstract:We propose a novel topological perspective on data languages recognizable by orbit-finite nominal monoids.
We propose a novel topological perspective on data languages recognizable by orbit-finite nominal monoids. For this purpose, we introduce pro-orbit-finite ...
We propose a novel topological perspective on data languages recognizable by orbit-finite nominal monoids. For this purpose, we introduce pro-orbit-finite ...
A nominal Stone space is a nominal topological space that is. I compact: every open cover has an orbit-finite subcover;. I Hausdorff: any x 6≡S y separated ...
We propose a novel topological perspective on data languages recognizable by orbit-finite nominal monoids. For this purpose, we introduce pro-orbit-finite ...
Jul 5, 2023 · We propose a novel topological perspective on data languages recognizable by orbit-finite nominal monoids. For this purpose, we introduce pro- ...
May 5, 2020 · I Nominal set: set X with a renaming operator, i.e. group action. Perm(A) × X → X, (π,x) 7→ π · x, such that every x ∈ X has finite support.
We propose a novel topological perspective on data languages recognizable by orbit-finite nominal monoids. For this purpose, we introduce pro-orbit-finite ...
We propose a novel topological perspective on data languages recognizable by orbit-finite nominal monoids. For this purpose, we introduce pro-orbit-finite ...
Nominal Topology for Data Languages. Jul 13, 2023, 11:45 AM. 20m. Seminar Room ... Abstract: We propose a novel topological perspective on data languages ...