学习最大-加法半环上的加权有限自动机及其终止性
形式语言与自动机理论
2024-07-16 v1 机器学习
摘要
活体学习有限自动机一直是为了分析和解释黑箱系统而受到热烈追求。在本文中，我们研究了针对最大-加法半环上的加权自动机的 L* 风格学习算法。最大-加法环境暴露了此前研究的半环通用 L* 扩展中的“一致性”问题：我们展示了它可能无法保持表格的一致性，从而会对显然错误的假设自动机进行等价查询。我们通过一种数学上干净的列封闭性概念提出了理论上的修复。我们还提出了一个在最大-加法半环上具有非平凡且较为广泛的加权语言类中，其中我们的算法可以终止。
引用
@article{arxiv.2407.09775,
title = {Learning Weighted Finite Automata over the Max-Plus Semiring and its Termination},
author = {Takamasa Okudono and Masaki Waga and Taro Sekiyama and Ichiro Hasuo},
journal= {arXiv preprint arXiv:2407.09775},
year = {2024}
}