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 AlgebrasArticle

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

    Consultation statistics

    This page has been seen 1573 times.
    This article's PDF has been downloaded 251 times.