Mostrar el registro sencillo del ítem

A categorical interpretation of state merging algorithms for DFA inference

dc.contributor.authorVilar Torres, Juan Miguel
dc.date.accessioned2024-03-27T13:04:05Z
dc.date.available2024-03-27T13:04:05Z
dc.date.issued2024-02-08
dc.identifier.citationVilar, J. M. (2024). A categorical interpretation of state merging algorithms for DFA inference. Pattern Recognition, 110326.ca_CA
dc.identifier.issn0031-3203
dc.identifier.issn1873-5142
dc.identifier.urihttp://hdl.handle.net/10234/206344
dc.description.abstractWe 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 convergence of these algorithms to the correct DFA. We also prove that the well-known EDSM algorithm does not identify DFAs in the limit.ca_CA
dc.description.sponsorShipFunding for open access charge: CRUE-Universitat Jaume I
dc.format.extent11 p.ca_CA
dc.format.mimetypeapplication/pdfca_CA
dc.language.isoengca_CA
dc.publisherElsevier Science Directca_CA
dc.relation.isPartOfPattern Recognition, Vol. 150 (June 2024)ca_CA
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/4.0/ca_CA
dc.subjectgrammatical inferenceca_CA
dc.subjectDFAca_CA
dc.subjectcategory theoryca_CA
dc.subjectRPNIca_CA
dc.subjectEDSMca_CA
dc.titleA categorical interpretation of state merging algorithms for DFA inferenceca_CA
dc.typeinfo:eu-repo/semantics/articleca_CA
dc.identifier.doihttps://doi.org/10.1016/j.patcog.2024.110326
dc.rights.accessRightsinfo:eu-repo/semantics/openAccessca_CA
dc.type.versioninfo:eu-repo/semantics/publishedVersionca_CA


Ficheros en el ítem

Thumbnail
Nombre:
89255_VilarTorresJM_2024.pdf
Tamaño:
10.47Mb
Formato:
PDF
Ver/Abrir

Este ítem aparece en la(s) siguiente(s) colección(ones)

  • LSI_Articles [362]
    Articles de publicacions periòdiques escrits per professors del Departament de Llenguatges i Sistemes Informàtics

Mostrar el registro sencillo del ítem

http://creativecommons.org/licenses/by-nc-nd/4.0/
Excepto si se señala otra cosa, la licencia del ítem se describe como: http://creativecommons.org/licenses/by-nc-nd/4.0/