Achim Blumensath - The Power-Set Construction for Tree Algebras

lmcs:9781 - Logical Methods in Computer Science, November 3, 2023, Volume 19, Issue 4 - https://doi.org/10.46298/lmcs-19(4:9)2023
The Power-Set Construction for Tree AlgebrasArticle

Authors: Achim Blumensath

    We study power-set operations on classes of trees and tree algebras. Our main result consists of a distributive law between the tree monad and the upwards-closed power-set monad, in the case where all trees are assumed to be linear. For non-linear ones, we prove that such a distributive law does not exist.

    https://doi.org/10.46298/lmcs-19(4:9)2023
    Source: arXiv.org:2207.00563
    Volume: Volume 19, Issue 4
    Published on: November 3, 2023
    Accepted on: August 2, 2023
    Submitted on: July 11, 2022
    Keywords: Computer Science - Formal Languages and Automata Theory
    Licence: Attribution 4.0 International (CC BY 4.0)

    Classifications

    Mathematics Subject Classification 20201
    Sources:
    • [1] zbMATH Open.

    Share and export

    Consultation statistics

    This page has been seen 2909 times.
    This article's PDF has been downloaded 517 times.