关于有理数上的符号自动机的主动学习
机器学习
2025-11-18 v1 形式语言与自动机理论
摘要
自动机学习在人工智能和软件工程中有许多应用。这些应用的核心是Angluin提出的L*算法。L*算法在提供最小充分教师的情况下，可在多项式时间内学习确定性有限状态自动机（DFA）。不幸的是，L*算法只能学习有限字母表上的DFA，这限制了其适用性。在本文中，我们将L*扩展到学习其转换使用有理数谓词的符号自动机，即学习无限且稠密的字母表。我们的结果使L*算法适用于新的设置，如(实数)RGX和时间序列。此外，我们提出的算法在优化意义上是最优的，即它向教师提出的查询数量最多为与转换数量和谓词表示大小成正比。
引用
@article{arxiv.2511.12315,
title = {Active Learning of Symbolic Automata Over Rational Numbers},
author = {Sebastian Hagedorn and Martín Muñoz and Cristian Riveros and Rodrigo Toro Icarte},
journal= {arXiv preprint arXiv:2511.12315},
year = {2025}
}