A categorical interpretation of state merging algorithms for DFA inference | Publicación