标签 -- 主动自动机学习