Algebraic Language Theory for Eilenberg--Moore Algebras
Formal Languages and Automata Theory
2023-06-22 v4
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'.
Cite
@article{arxiv.2006.08316,
title = {Algebraic Language Theory for Eilenberg--Moore Algebras},
author = {Achim Blumensath},
journal= {arXiv preprint arXiv:2006.08316},
year = {2023}
}