BriefGPT.xyz
Apr, 2023
数据语言的名词拓扑
Nominal Topology for Data Languages
HTML
PDF
Henning Urbat, Stefan Milius, Fabian Birkmann
TL;DR
该论文提出了一种新颖的基于拓扑学的方法来研究由 orbite-finite 名义化幺半群可以识别的数据语言。该方法引入了顾及全局支持大小的 pro-orbit-finite 名义化拓扑空间并证明其与名义化 Stone 空间同构，并在其上表征了可识别的数据语言。此外，通过引入重要的名义化 Reiterman 拟变种定理，探讨了 pro-orbit-finite 方程的表达能力。
Abstract
We propose a novel
topological perspective
on
data languages
recognizable by orbit-finite
nominal monoids
. For this purpose, we introduce
→