{"id":"https://openalex.org/W4386532139","doi":"https://doi.org/10.1093/jigpal/jzad014","title":"Report on the exact methods for finding minimum-sized DFA","display_name":"Report on the exact methods for finding minimum-sized DFA","publication_year":2023,"publication_date":"2023-09-07","ids":{"openalex":"https://openalex.org/W4386532139","doi":"https://doi.org/10.1093/jigpal/jzad014"},"language":"en","primary_location":{"id":"doi:10.1093/jigpal/jzad014","is_oa":false,"landing_page_url":"http://dx.doi.org/10.1093/jigpal/jzad014","pdf_url":null,"source":{"id":"https://openalex.org/S2734381524","display_name":"Logic Journal of IGPL","issn_l":"1367-0751","issn":["1367-0751","1368-9894"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311648","https://openalex.org/P4310311647"],"host_organization_lineage_names":["Oxford University Press","University of Oxford"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logic Journal of the IGPL","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5021657351","display_name":"Wojciech Wieczorek","orcid":"https://orcid.org/0000-0003-3191-9151"},"institutions":[{"id":"https://openalex.org/I62088572","display_name":"University of Bielsko-Bia\u0142a","ror":"https://ror.org/01ew38b77","country_code":"PL","type":"education","lineage":["https://openalex.org/I62088572"]}],"countries":["PL"],"is_corresponding":false,"raw_author_name":"Wojciech Wieczorek","raw_affiliation_strings":["Department of Computer Science and Automatics , University of Bielsko-Biala, Willowa 2, Bielsko-Biala, 43-309, \u015al\u0105sk, Poland , wwieczorek@ath.bielsko.pl","Department of Computer Science and Automatics , University of Bielsko-Biala, Willowa 2, Bielsko-Biala, 43-309, \u015al\u0105sk, , wwieczorek@ath.bielsko.pl"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Automatics , University of Bielsko-Biala, Willowa 2, Bielsko-Biala, 43-309, \u015al\u0105sk, Poland , wwieczorek@ath.bielsko.pl","institution_ids":["https://openalex.org/I62088572"]},{"raw_affiliation_string":"Department of Computer Science and Automatics , University of Bielsko-Biala, Willowa 2, Bielsko-Biala, 43-309, \u015al\u0105sk, , wwieczorek@ath.bielsko.pl","institution_ids":["https://openalex.org/I62088572"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5082516283","display_name":"\u0141ukasz Str\u0105k","orcid":"https://orcid.org/0000-0002-1074-2847"},"institutions":[{"id":"https://openalex.org/I864159182","display_name":"University of Silesia in Katowice","ror":"https://ror.org/0104rcc94","country_code":"PL","type":"education","lineage":["https://openalex.org/I864159182"]}],"countries":["PL"],"is_corresponding":true,"raw_author_name":"\u0141ukasz Str\u0105k","raw_affiliation_strings":["Faculty of Science and Technology , University of Silesia in Katowice, Bankowa 14, Katowice, 40-007, \u015al\u0105sk, Poland","Faculty of Science and Technology , University of Silesia in Katowice, Bankowa 14, Katowice, 40-007, \u015al\u0105sk,"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Faculty of Science and Technology , University of Silesia in Katowice, Bankowa 14, Katowice, 40-007, \u015al\u0105sk, Poland","institution_ids":["https://openalex.org/I864159182"]},{"raw_affiliation_string":"Faculty of Science and Technology , University of Silesia in Katowice, Bankowa 14, Katowice, 40-007, \u015al\u0105sk,","institution_ids":["https://openalex.org/I864159182"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5030111607","display_name":"Arkadiusz Nowakowski","orcid":"https://orcid.org/0000-0001-8304-5746"},"institutions":[{"id":"https://openalex.org/I864159182","display_name":"University of Silesia in Katowice","ror":"https://ror.org/0104rcc94","country_code":"PL","type":"education","lineage":["https://openalex.org/I864159182"]}],"countries":["PL"],"is_corresponding":false,"raw_author_name":"Arkadiusz Nowakowski","raw_affiliation_strings":["Faculty of Science and Technology , University of Silesia in Katowice, Bankowa 14, Katowice, 40-007, \u015al\u0105sk, Poland , arkadiusz.nowakowski@us.edu.pl","Faculty of Science and Technology , University of Silesia in Katowice, Bankowa 14, Katowice, 40-007, \u015al\u0105sk, , arkadiusz.nowakowski@us.edu.pl"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Faculty of Science and Technology , University of Silesia in Katowice, Bankowa 14, Katowice, 40-007, \u015al\u0105sk, Poland , arkadiusz.nowakowski@us.edu.pl","institution_ids":["https://openalex.org/I864159182"]},{"raw_affiliation_string":"Faculty of Science and Technology , University of Silesia in Katowice, Bankowa 14, Katowice, 40-007, \u015al\u0105sk, , arkadiusz.nowakowski@us.edu.pl","institution_ids":["https://openalex.org/I864159182"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5082516283"],"corresponding_institution_ids":["https://openalex.org/I864159182"],"apc_list":{"value":4151,"currency":"USD","value_usd":4151},"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.09774833,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12072","display_name":"Machine Learning and Algorithms","score":1.0,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T12072","display_name":"Machine Learning and Algorithms","score":1.0,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11567","display_name":"semigroups and automata theory","score":0.9952999949455261,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9934999942779541,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/speedup","display_name":"Speedup","score":0.9177656173706055},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7941875457763672},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.7314399480819702},{"id":"https://openalex.org/keywords/inference","display_name":"Inference","score":0.7021632194519043},{"id":"https://openalex.org/keywords/multiprocessing","display_name":"Multiprocessing","score":0.6731744408607483},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.5274273157119751},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.49687889218330383},{"id":"https://openalex.org/keywords/finite-state-machine","display_name":"Finite-state machine","score":0.45621293783187866},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.43425628542900085},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.433709055185318},{"id":"https://openalex.org/keywords/sample","display_name":"Sample (material)","score":0.42656210064888},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.42569172382354736},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.17094829678535461}],"concepts":[{"id":"https://openalex.org/C68339613","wikidata":"https://www.wikidata.org/wiki/Q1549489","display_name":"Speedup","level":2,"score":0.9177656173706055},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7941875457763672},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.7314399480819702},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.7021632194519043},{"id":"https://openalex.org/C4822641","wikidata":"https://www.wikidata.org/wiki/Q846651","display_name":"Multiprocessing","level":2,"score":0.6731744408607483},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.5274273157119751},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.49687889218330383},{"id":"https://openalex.org/C167822520","wikidata":"https://www.wikidata.org/wiki/Q176452","display_name":"Finite-state machine","level":2,"score":0.45621293783187866},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.43425628542900085},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.433709055185318},{"id":"https://openalex.org/C198531522","wikidata":"https://www.wikidata.org/wiki/Q485146","display_name":"Sample (material)","level":2,"score":0.42656210064888},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.42569172382354736},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.17094829678535461},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C43617362","wikidata":"https://www.wikidata.org/wiki/Q170050","display_name":"Chromatography","level":1,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1093/jigpal/jzad014","is_oa":false,"landing_page_url":"http://dx.doi.org/10.1093/jigpal/jzad014","pdf_url":null,"source":{"id":"https://openalex.org/S2734381524","display_name":"Logic Journal of IGPL","issn_l":"1367-0751","issn":["1367-0751","1368-9894"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311648","https://openalex.org/P4310311647"],"host_organization_lineage_names":["Oxford University Press","University of Oxford"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logic Journal of the IGPL","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":29,"referenced_works":["https://openalex.org/W17810753","https://openalex.org/W597036898","https://openalex.org/W1606891084","https://openalex.org/W1840916145","https://openalex.org/W1870429967","https://openalex.org/W2003665833","https://openalex.org/W2017603160","https://openalex.org/W2027282006","https://openalex.org/W2036981717","https://openalex.org/W2071784417","https://openalex.org/W2120437191","https://openalex.org/W2125529971","https://openalex.org/W2153256103","https://openalex.org/W2786305034","https://openalex.org/W2900049970","https://openalex.org/W2934772558","https://openalex.org/W3097295680","https://openalex.org/W3105012855","https://openalex.org/W3172946803","https://openalex.org/W4206080774","https://openalex.org/W4241372395","https://openalex.org/W4248891768","https://openalex.org/W4254790956","https://openalex.org/W6633918220","https://openalex.org/W6678720029","https://openalex.org/W6680904998","https://openalex.org/W6749559318","https://openalex.org/W6811038584","https://openalex.org/W6902678642"],"related_works":["https://openalex.org/W2097707447","https://openalex.org/W2544617286","https://openalex.org/W2148915962","https://openalex.org/W4242459863","https://openalex.org/W127357700","https://openalex.org/W1480528870","https://openalex.org/W2508541108","https://openalex.org/W4243191745","https://openalex.org/W2724597727","https://openalex.org/W2315419748"],"abstract_inverted_index":{"Abstract":[0],"This":[1],"paper":[2],"presents":[3],"four":[4],"state-of-art":[5],"methods":[6],"for":[7,85],"the":[8,25,45,66,70,88,97],"finite-state":[9],"automaton":[10],"inference":[11,49],"based":[12,31],"on":[13,32,96],"a":[14,56,74,82,93],"sample":[15],"of":[16,40,47,58,65,87],"labeled":[17],"strings.":[18],"The":[19,38],"first":[20],"algorithm":[21,68],"is":[22,69,77],"Exbar,":[23],"and":[24,35,101],"next":[26],"three":[27],"are":[28],"mathematical":[29],"models":[30],"ASP,":[33],"SAT":[34],"SMT":[36],"theories.":[37],"potentiality":[39],"using":[41,99],"multiprocessor":[42,75],"computers":[43],"in":[44],"context":[46],"automata":[48],"was":[50],"our":[51,63],"research\u2019s":[52],"primary":[53],"goal.":[54],"In":[55],"series":[57],"experiments,":[59],"we":[60,80],"showed":[61],"that":[62],"parallelization":[64],"exbar":[67],"best":[71],"choice":[72],"when":[73],"system":[76],"available.":[78],"Furthermore,":[79],"obtained":[81],"superlinear":[83],"speedup":[84,95],"some":[86],"prepared":[89],"datasets,":[90],"achieving":[91],"almost":[92],"5-fold":[94],"median,":[98],"12":[100],"24":[102],"processes.":[103]},"counts_by_year":[],"updated_date":"2026-07-29T09:40:50.615796","created_date":"2025-10-10T00:00:00"}