Universal automata and NFA learning | Publicación