符号 Mealy 自动机的主动学习

我们提出了 $\Lambda^*_M$-一种学习符号 Mealy 自动机的主动学习算法，这类自动机支持无限输入字母表和多个输出字符。这两个特征分别已在 prior work 中被处理。将这两个特征组合起来，面临在每个状态下学习对应 potentially 无限输入字符集输出的挑战。为此，我们引入essential input characters（必需输入字符）的概念，即一组足以学习符号 Mealy 自动机输出函数的有限输入字符集合。$\Lambda^*_M$ 维护对必需输入字符集合的 underapproximation，并在学习过程中不断细化该集合。我们证明了在某些假设下，$\Lambda^*_M$ 可终止。此外，我们给出查询复杂度的上界和下界。其相似性暗示了这些界限的紧致性。我们通过实验演示了$\Lambda^*_M$ i) 在实际基准测试中关于查询数量的效率以及 ii) 随机生成基准测试中的可扩展性。