当前位置:
X-MOL 学术
›
arXiv.cs.FL
›
论文详情
Our official English website, www.x-mol.net, welcomes your
feedback! (Note: you will need to create a separate account there.)
Algebraic Language Theory for Eilenberg--Moore Algebras
arXiv - CS - Formal Languages and Automata Theory Pub Date : 2020-06-15 , DOI: arxiv-2006.08316 Achim Blumensath
arXiv - CS - Formal Languages and Automata Theory Pub Date : 2020-06-15 , DOI: arxiv-2006.08316 Achim Blumensath
We develop an algebraic language theory based on the notion of an
Eilenberg--Moore algebra. In comparison to previous such frameworks the main
contribution is the support for algebras with infinitely many sorts and the
connection to logic in form of so-called `definable algebras'.
中文翻译:
Eilenberg的代数语言理论--摩尔代数
我们开发了一种基于 Eilenberg-Moore 代数概念的代数语言理论。与以前的此类框架相比,主要贡献是支持无限种类的代数以及以所谓的“可定义代数”的形式与逻辑的联系。
更新日期:2020-11-11
中文翻译:
Eilenberg的代数语言理论--摩尔代数
我们开发了一种基于 Eilenberg-Moore 代数概念的代数语言理论。与以前的此类框架相比,主要贡献是支持无限种类的代数以及以所谓的“可定义代数”的形式与逻辑的联系。