加权树自动机——能否更进一步?
形式语言与自动机理论
2026-01-28 v3
摘要
这是一本关于加权树自动机的书。我们以连贯的形式并给出完整证明地介绍了基本定义和一些重要结果。加权树自动机的概念是自动机理论的一部分,并且触及泛代数的领域。它源于两个来源:加权串自动机与有限状态树自动机。
引用
@article{arxiv.2212.05529,
title = {Weighted Tree Automata -- May it be a little more?},
author = {Zoltán Fülöp and Heiko Vogler},
journal= {arXiv preprint arXiv:2212.05529},
year = {2026}
}