关于富含代数结构的自动机簇(扩展摘要)
形式语言与自动机理论
2014-05-23 v1
摘要
基于句法幺半群概念的 Eilenberg 对应关系,将正则语言簇与有限幺半群的伪簇联系起来。该对应关系的各种修正形式将更广泛的正则语言类与更复杂的代数对象类相关联。此类广义簇也具有自然的对应物,即由配备特定附加代数结构的有限自动机类构成。在本综述中,我们概述了此类富含结构的自动机簇的几种变体。
引用
@article{arxiv.1405.5595,
title = {On Varieties of Automata Enriched with an Algebraic Structure (Extended Abstract)},
author = {Ondřej Klíma},
journal= {arXiv preprint arXiv:1405.5595},
year = {2014}
}
备注
In Proceedings AFL 2014, arXiv:1405.5272