• openAccess   A categorical interpretation of state merging algorithms for DFA inference 

      Vilar Torres, Juan Miguel Elsevier Science Direct (2024-02-08)
      We use Category Theory to interpret the family of algorithms for inference of DFAs that work by merging states. This interpretation allows us to characterize the structure of the search space and to define criteria for the ...