6533b839fe1ef96bd12a6dec

RESEARCH PRODUCT

Congruence-based proofs of the recognizability theorems for free many-sorted algebras

E. Cosme LlópezJ. Climent Vidal

subject

Pure mathematicsLogicComputer science010102 general mathematics0102 computer and information sciencesMathematical proof01 natural sciencesTheoretical Computer ScienceArts and Humanities (miscellaneous)010201 computation theory & mathematicsHardware and ArchitectureCongruence (manifolds)0101 mathematicsComputer Science::Formal Languages and Automata TheorySoftware

description

Abstract We generalize several recognizability theorems for free single-sorted algebras to free many-sorted algebras and provide, in a uniform way and without using either regular tree grammars or tree automata, purely algebraic proofs of them based on congruences.

yearjournalcountryeditionlanguage
2020-02-02Journal of Logic and Computation
https://doi.org/10.1093/logcom/exz032