Mostrar el registro sencillo del ítem
dc.contributor.author | Vázquez-De-Parga Andrade, Manuel | es_ES |
dc.contributor.author | García Gómez, Pedro | es_ES |
dc.contributor.author | López Rodríguez, Damián | es_ES |
dc.date.accessioned | 2015-02-02T14:23:51Z | |
dc.date.available | 2015-02-02T14:23:51Z | |
dc.date.issued | 2013-05 | |
dc.identifier.issn | 0304-3975 | |
dc.identifier.uri | http://hdl.handle.net/10251/46644 | |
dc.description.abstract | We here propose a polynomial-time deterministic finite automaton minimization algorithm directly derived from Brzozowski’s double reversal algorithm. To do so, we take into account the framework by Brzozowski and Tamm, to propose an atomization algorithm that allows us to achieve polynomial time complexity. | es_ES |
dc.description.sponsorship | Work partially supported by the Spanish Ministerio de Economia y Competitividad under research project TIN2011-28260-C03-01. | en_EN |
dc.language | Inglés | es_ES |
dc.publisher | Elsevier | es_ES |
dc.relation.ispartof | Theoretical Computer Science | es_ES |
dc.rights | Reserva de todos los derechos | es_ES |
dc.subject | DFA minimization | es_ES |
dc.subject | Atomic automata | es_ES |
dc.subject | Polynomial double reversal algorithm | es_ES |
dc.subject.classification | LENGUAJES Y SISTEMAS INFORMATICOS | es_ES |
dc.title | A polynomial double reversal minimization algorithm for deterministic finite automata | es_ES |
dc.type | Artículo | es_ES |
dc.identifier.doi | 10.1016/j.tcs.2013.03.005 | |
dc.relation.projectID | info:eu-repo/grantAgreement/MICINN//TIN2011-28260-C03-01/ES/REDES DE PROCESADORES BIO-INSPIRADOS: RESULTADOS TEORICOS, IMPLEMENTACION HARDWARE%2FBIOWARE, DESARROLLO SOFTWARE Y SOLUCION PARA APLICACIONES/ | |
dc.rights.accessRights | Cerrado | es_ES |
dc.contributor.affiliation | Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació | es_ES |
dc.description.bibliographicCitation | Vázquez-De-Parga Andrade, M.; García Gómez, P.; López Rodríguez, D. (2013). A polynomial double reversal minimization algorithm for deterministic finite automata. Theoretical Computer Science. 487:17-22. https://doi.org/10.1016/j.tcs.2013.03.005 | es_ES |
dc.description.accrualMethod | S | es_ES |
dc.relation.publisherversion | http://dx.doi.org/10.1016/j.tcs.2013.03.005 | es_ES |
dc.description.upvformatpinicio | 17 | es_ES |
dc.description.upvformatpfin | 22 | es_ES |
dc.type.version | info:eu-repo/semantics/publishedVersion | es_ES |
dc.description.volume | 487 | es_ES |
dc.relation.senia | 245099 | |
dc.contributor.funder | Ministerio de Ciencia e Innovación |