论文标题
Eilenberg的代数语言理论 - 摩尔代数
Algebraic Language Theory for Eilenberg--Moore Algebras
论文作者
论文摘要
我们基于艾伦贝格（Eilenberg）的概念开发了一种代数语言理论。与以前的框架相比，主要贡献是支持具有无限多种多样的代数，并且以所谓的“可定义代数”形式与逻辑联系。
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'.
