May, 2024

输出分解学习 Mealy 机器

TL;DR我们提出了一种主动自动机学习算法,它基于将个别输出进行投影从而学习一个有限状态机的分解。这与 Labbaf 等人 (2023) 提出的最近的组合学习算法互为对偶。当将输出投影到一个较小的集合时,模型本身也会缩小。通过有几个这样的投影,我们不会丢失任何信息,完整的系统可以被重建。根据系统的结构,这大大减少了查询的数量,如算法的初步评估所示。