基于同余的自由多类代数的可识别性定理证明
形式语言与自动机理论
2024-01-18 v1
摘要
我们将自由单类代数的若干可识别性定理推广到多类代数领域，并以统一的方式，在不使用正则树文法也不使用树自动机的情况下，给出基于同余概念的纯代数证明。
引用
@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}
}