Algebraic Language Theory for Eilenberg--Moore Algebras
Abstract
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'.
- Publication:
-
arXiv e-prints
- Pub Date:
- June 2020
- DOI:
- 10.48550/arXiv.2006.08316
- arXiv:
- arXiv:2006.08316
- Bibcode:
- 2020arXiv200608316B
- Keywords:
-
- Computer Science - Formal Languages and Automata Theory
- E-Print:
- Logical Methods in Computer Science, Volume 17, Issue 2 (April 14, 2021) lmcs:6569