树自动机作为代数：最小化与确定化
摘要：树自动机的范畴化推广，作为一个带有初始和终态的固定自同态Sigma的Sigma-代数对象的研究。在对基本范畴进行适度假设的情况下，我们提出了一种这些自动机的最小化算法。然后，我们基于一个现有的Nerode等价性的范畴推广，并将其与最小自动机的存在相关联。最后，我们展示了这种范畴框架可以捕捉到包括非确定性在内的广义的副作用类型，并导致一种通用的确定化过程。
作者：Gerco van Heerdt, Tobias Kapp''e, Jurriaan Rot, Matteo Sammartino, Alexandra Silva
论文ID：1904.08802
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2023-02-03