黏合向量空间范畴中的自动机
形式语言与自动机理论
2017-11-17 v1
摘要
在本文中，我们采用范畴论方法来构想一类在设计上即具备极小化的自动机类。我们构造的主要实例是一类新的自动机，它们是确定性自动机与定义在域上的加权自动机之间的混合体。
引用
@article{arxiv.1711.06065,
title = {Automata in the Category of Glued Vector Spaces},
author = {Thomas Colcombet and Daniela Petrişan},
journal= {arXiv preprint arXiv:1711.06065},
year = {2017}
}
备注
15 pages, knowledge enriched version of the MFCS 2017 proceedings paper