Learning Finite Automata Using Label Queries | Publicación