为 AALpy 扩展被动学习：一种通用的状态合并方法
机器学习
2025-06-13 v2 形式语言与自动机理论
摘要
AALpy 是一个旨在主动学习具有输入输出行为的系统的 Python 开源自动机学习库，注重提供多种先进算法，以覆盖从完全确定性到概率性自动机的不同自动机类型。在本工作中，我们介绍了来自被动自动机学习领域的一种重要方法——状态合并在红蓝框架中的最新添加。通过对不同自动机类型的通用内部表示，实现了该红蓝框架的通用且高度可配置实现。我们描述了如何使用 AALpy 定义和执行状态合并算法，这大大简化了状态合并算法的实现工作，主要只需定义兼容性准则和评分。这有助于实现现有的以及新算法。特别是，使用 AALpy 定义来自文献中已有算法仅需几行代码。
引用
@article{arxiv.2506.06333,
title = {Extending AALpy with Passive Learning: A Generalized State-Merging Approach},
author = {Benjamin von Berg and Bernhard K. Aichernig},
journal= {arXiv preprint arXiv:2506.06333},
year = {2025}
}
备注
Accepted for publication at CAV 2025, the 37th International Conference on Computer Aided Verification