简洁自动机的(余)代数理论
形式语言与自动机理论
2019-05-16 v1
摘要
针对非确定性自动机的经典子集构造可推广到由单子捕获的其他副作用。关键洞见是，确定化自动机的状态空间及其语义——字母表上的语言——具有共同的代数结构：它们是幂集单子的 Eilenberg-Moore 代数。在本文中我们研究确定化的逆问题。我们将提出一种基于不同代数结构将语言关联于简洁自动机的构造。例如，对经典正则语言，该构造将把确定性自动机变换为非确定性自动机，其中状态表示（可能）更大的确定性自动机所接受语言的并不可约元。其他例子将给出交替自动机、具对称性的自动机、CABA 结构自动机以及加权自动机。
引用
@article{arxiv.1905.05519,
title = {A (co)algebraic theory of succinct automata},
author = {Gerco van Heerdt and Joshua Moerman and Matteo Sammartino and Alexandra Silva},
journal= {arXiv preprint arXiv:1905.05519},
year = {2019}
}