{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,21]],"date-time":"2026-02-21T19:30:13Z","timestamp":1771702213250,"version":"3.50.1"},"reference-count":7,"publisher":"World Scientific Pub Co Pte Lt","issue":"06","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Found. Comput. Sci."],"published-print":{"date-parts":[[2014,9]]},"abstract":"<jats:p> Minimization of deterministic finite automata is a classic problem in Computer Science which is still studied nowadays. In this paper, we relate the different split-minimization methods proposed to date, or to be proposed, and the algorithm due to Brzozowski which has been usually set aside in any classification of DFA minimization algorithms. In our work, we first propose a polynomial minimization method derived from a paper by Champarnaud et al. We also show how the consideration of some efficiency improvements on this algorithm lead to obtain an algorithm similar to Hopcroft's classic algorithm. The results obtained lead us to propose a characterization of the set of possible splitters. <\/jats:p>","DOI":"10.1142\/s0129054114500282","type":"journal-article","created":{"date-parts":[[2014,10,28]],"date-time":"2014-10-28T07:47:17Z","timestamp":1414482437000},"page":"679-696","source":"Crossref","is-referenced-by-count":3,"title":["EFFICIENT DETERMINISTIC FINITE AUTOMATA SPLIT-MINIMIZATION DERIVED FROM BRZOZOWSKI'S ALGORITHM"],"prefix":"10.1142","volume":"25","author":[{"given":"PEDRO","family":"GARC\u00cdA","sequence":"first","affiliation":[{"name":"Departamento de Sistemas Inform\u00e1ticos y Computaci\u00f3n, Universidad Polit\u00e9cnica de Valencia, Camino de Vera s\/n, Valencia 46022, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"DAMI\u00c1N","family":"L\u00d3PEZ","sequence":"additional","affiliation":[{"name":"Departamento de Sistemas Inform\u00e1ticos y Computaci\u00f3n, Universidad Polit\u00e9cnica de Valencia, Camino de Vera s\/n, Valencia 46022, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"MANUEL V\u00c1ZQUEZ","family":"DE PARGA","sequence":"additional","affiliation":[{"name":"Departamento de Sistemas Inform\u00e1ticos y Computaci\u00f3n, Universidad Polit\u00e9cnica de Valencia, Camino de Vera s\/n, Valencia 46022, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"219","published-online":{"date-parts":[[2014,10,28]]},"reference":[{"key":"p_10","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2013.03.005"},{"key":"p_12","doi-asserted-by":"publisher","DOI":"10.1007\/BF02090394"},{"key":"p_13","first-page":"76","volume":"2286","author":"Lombardy S.","year":"2002","journal-title":"LNCS"},{"key":"p_14","doi-asserted-by":"publisher","DOI":"10.1142\/S0129054105003431"},{"key":"p_15","doi-asserted-by":"publisher","DOI":"10.1007\/BF00264025"},{"key":"p_17","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(95)00199-9"},{"key":"p_18","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(99)00150-4"}],"container-title":["International Journal of Foundations of Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0129054114500282","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,6]],"date-time":"2019-08-06T18:01:39Z","timestamp":1565114499000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S0129054114500282"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,9]]},"references-count":7,"journal-issue":{"issue":"06","published-online":{"date-parts":[[2014,10,28]]},"published-print":{"date-parts":[[2014,9]]}},"alternative-id":["10.1142\/S0129054114500282"],"URL":"https:\/\/doi.org\/10.1142\/s0129054114500282","relation":{},"ISSN":["0129-0541","1793-6373"],"issn-type":[{"value":"0129-0541","type":"print"},{"value":"1793-6373","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,9]]}}}