Congruence based proofs of the recognizability theorems for free many-sorted algebras
Formal Languages and Automata Theory
2024-01-18 v1
Abstract
We generalize several recognizability theorems for free single-sorted algebras to the field of many-sorted algebras and provide, in a uniform way and without using neither regular tree grammars nor tree automata, purely algebraic proofs of them based on the concept of congruence.
Cite
@article{arxiv.1808.08217,
title = {Congruence based proofs of the recognizability theorems for free many-sorted algebras},
author = {Juan Climent Vidal and Enric Cosme Llópez},
journal= {arXiv preprint arXiv:1808.08217},
year = {2024}
}