通过主动学习生成自动机 (A Quick Survey of Active Automata Learning) - wcventure