关于加权自动机的等价性与极小化笔记
形式语言与自动机理论
2020-09-03 v1
摘要
本笔记集重新证明了加权自动机（域上的，亦称多重性自动机）的已知结果。文本对数十年来文献中出现、以不同风格与语境写就的定理与证明提供了统一视角。此处报告的结果均不声称新颖。内容围绕等价性与极小化的基础，侧重算法方面。表述极简，未试图对材料进行引介。加权自动机从线性代数角度审视。因此，这些旨在简洁但完整且几乎自洽的证明主要依赖初等线性代数。
引用
@article{arxiv.2009.01217,
title = {Notes on Equivalence and Minimization of Weighted Automata},
author = {Stefan Kiefer},
journal= {arXiv preprint arXiv:2009.01217},
year = {2020}
}