Achim Blumensath - Algebraic Language Theory for Eilenberg--Moore Algebras

lmcs:6569 - Logical Methods in Computer Science, April 14, 2021, Volume 17, Issue 2 - https://doi.org/10.23638/LMCS-17(2:6)2021
Algebraic Language Theory for Eilenberg--Moore Algebras

Authors: 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'.


Volume: Volume 17, Issue 2
Published on: April 14, 2021
Accepted on: February 15, 2021
Submitted on: June 16, 2020
Keywords: Computer Science - Formal Languages and Automata Theory


Share

Consultation statistics

This page has been seen 99 times.
This article's PDF has been downloaded 46 times.