The Power-Set Construction for Tree Algebras
Formal Languages and Automata Theory
2024-02-14 v5
Abstract
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.
Keywords
Cite
@article{arxiv.2207.00563,
title = {The Power-Set Construction for Tree Algebras},
author = {Achim Blumensath},
journal= {arXiv preprint arXiv:2207.00563},
year = {2024}
}