支持集 -- 名义集合和自动机的新基础
摘要：支持集合的范畴为各种类型的名义集合（例如等式对称性、顺序对称性和重命名集合）提供了统一的基础。我们证明这些不同类型的名义集合范畴都是基于支持集合的。因此，支持集合为表示名义集合及其自动机（例如寄存器自动机）提供了一种规范的有限方式。支持集合中的名称绑定通过遵循de Bruijn指数概念的函子进行建模。这个函子提升到名义集合中的著名抽象函子。结合基于模型性的结果，这导致了一个转换过程，将支持集合中的寄存器自动机的有限表示转换为名义集合中的配置自动机。
作者：Thorsten Wi{ss}mann
论文ID：2201.09825
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2022-10-06