基于事件记录自动机的灰盒语言学习

本文重访了事件记录自动机可识别时序语言的主动学习问题。我们的框架采用所谓的灰盒学习方法，能够以最小数量的控制状态学习事件记录自动机。该方法避免学习与该语言相关的区域自动机，与现有方法形成鲜明对比。我们实现了若干启发式方法以维持较低的计算复杂度。通过多个实例，展示了我们方法的有效性。