通过分配律同态的规范自动机
摘要：将确定性自动机转化为识别相同语言的非确定性自动机的方法是经典的幂集构造。最近，幂集构造被提升到一个更一般的框架，将由单子给定的具有副作用的自动机转化为接受相同语言的确定性自动机。结果自动机具有来自单子的状态空间和转换结构的额外代数属性。在本文中，我们研究了相反的构造，并提出了一个框架，其中具有附加代数结构的确定性自动机可以转化为等效的具有副作用的简洁自动机。除了从文献中恢复出的示例，如规范剩余有限状态自动机和"atomaton"之外，我们通过将两个元素域上的自由向量空间单子与邻域单子相关联，为正则语言发现了一个新的规范自动机。最后，我们证明了满足两个单子的参数化性质的每种正则语言都具有最小尺寸的简洁接受器。
作者：Stefan Zetzsche (University College London), Gerco van Heerdt (University College London), Matteo Sammartino (Royal Holloway, University of London), Alexandra Silva (Cornell University)
论文ID：2104.13421
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2021-12-30