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 代数概念的代数语言理论。与以前的此类框架相比，主要贡献是支持无限种类的代数以及以所谓的“可定义代数”的形式与逻辑的联系。