{"id":"https://openalex.org/W7136043583","doi":"https://doi.org/10.1016/j.tcs.2026.115864","title":"A cornering strategy for synchronizing a DFA","display_name":"A cornering strategy for synchronizing a DFA","publication_year":2026,"publication_date":"2026-03-15","ids":{"openalex":"https://openalex.org/W7136043583","doi":"https://doi.org/10.1016/j.tcs.2026.115864"},"language":"en","primary_location":{"id":"doi:10.1016/j.tcs.2026.115864","is_oa":true,"landing_page_url":"https://doi.org/10.1016/j.tcs.2026.115864","pdf_url":null,"source":{"id":"https://openalex.org/S90727058","display_name":"Theoretical Computer Science","issn_l":"0304-3975","issn":["0304-3975","1879-2294"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theoretical Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://doi.org/10.1016/j.tcs.2026.115864","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5108387889","display_name":"Peter Bradshaw","orcid":null},"institutions":[{"id":"https://openalex.org/I157725225","display_name":"University of Illinois Urbana-Champaign","ror":"https://ror.org/047426m28","country_code":"US","type":"education","lineage":["https://openalex.org/I157725225"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Peter Bradshaw","raw_affiliation_strings":["Department of Mathematics, University of Illinois Urbana-Champaign, USA"],"affiliations":[{"raw_affiliation_string":"Department of Mathematics, University of Illinois Urbana-Champaign, USA","institution_ids":["https://openalex.org/I157725225"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5047783624","display_name":"Alexander Clow","orcid":null},"institutions":[{"id":"https://openalex.org/I18014758","display_name":"Simon Fraser University","ror":"https://ror.org/0213rcc28","country_code":"CA","type":"education","lineage":["https://openalex.org/I18014758"]}],"countries":["CA"],"is_corresponding":true,"raw_author_name":"Alexander Clow","raw_affiliation_strings":["Department of Mathematics, Simon Fraser University, Canada"],"affiliations":[{"raw_affiliation_string":"Department of Mathematics, Simon Fraser University, Canada","institution_ids":["https://openalex.org/I18014758"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5085438222","display_name":"Ladislav Stacho","orcid":null},"institutions":[{"id":"https://openalex.org/I18014758","display_name":"Simon Fraser University","ror":"https://ror.org/0213rcc28","country_code":"CA","type":"education","lineage":["https://openalex.org/I18014758"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Ladislav Stacho","raw_affiliation_strings":["Department of Mathematics, Simon Fraser University, Canada"],"affiliations":[{"raw_affiliation_string":"Department of Mathematics, Simon Fraser University, Canada","institution_ids":["https://openalex.org/I18014758"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5047783624"],"corresponding_institution_ids":["https://openalex.org/I18014758"],"apc_list":{"value":2690,"currency":"USD","value_usd":2690},"apc_paid":{"value":2690,"currency":"USD","value_usd":2690},"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.69161575,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"1073","issue":null,"first_page":"115864","last_page":"115864"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11567","display_name":"semigroups and automata theory","score":0.9399999976158142,"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"}},"topics":[{"id":"https://openalex.org/T11567","display_name":"semigroups and automata theory","score":0.9399999976158142,"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/T12029","display_name":"DNA and Biological Computing","score":0.02319999970495701,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.013700000010430813,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/synchronizing","display_name":"Synchronizing","score":0.961899995803833},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5907999873161316},{"id":"https://openalex.org/keywords/aperiodic-graph","display_name":"Aperiodic graph","score":0.580299973487854},{"id":"https://openalex.org/keywords/word","display_name":"Word (group theory)","score":0.572700023651123},{"id":"https://openalex.org/keywords/deterministic-finite-automaton","display_name":"Deterministic finite automaton","score":0.566100001335144},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.5163000226020813},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.5077000260353088},{"id":"https://openalex.org/keywords/finite-state-machine","display_name":"Finite-state machine","score":0.4318000078201294}],"concepts":[{"id":"https://openalex.org/C162932704","wikidata":"https://www.wikidata.org/wiki/Q1058791","display_name":"Synchronizing","level":3,"score":0.961899995803833},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5907999873161316},{"id":"https://openalex.org/C104247578","wikidata":"https://www.wikidata.org/wiki/Q4779368","display_name":"Aperiodic graph","level":2,"score":0.580299973487854},{"id":"https://openalex.org/C90805587","wikidata":"https://www.wikidata.org/wiki/Q10944557","display_name":"Word (group theory)","level":2,"score":0.572700023651123},{"id":"https://openalex.org/C104091681","wikidata":"https://www.wikidata.org/wiki/Q837528","display_name":"Deterministic finite automaton","level":3,"score":0.566100001335144},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5360000133514404},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.5163000226020813},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.5077000260353088},{"id":"https://openalex.org/C167822520","wikidata":"https://www.wikidata.org/wiki/Q176452","display_name":"Finite-state machine","level":2,"score":0.4318000078201294},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.41780000925064087},{"id":"https://openalex.org/C2778562939","wikidata":"https://www.wikidata.org/wiki/Q1298791","display_name":"Synchronization (alternating current)","level":3,"score":0.4032000005245209},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3977000117301941},{"id":"https://openalex.org/C52370388","wikidata":"https://www.wikidata.org/wiki/Q752532","display_name":"Regular language","level":3,"score":0.38109999895095825},{"id":"https://openalex.org/C182306322","wikidata":"https://www.wikidata.org/wiki/Q1779371","display_name":"Order (exchange)","level":2,"score":0.3806999921798706},{"id":"https://openalex.org/C162392398","wikidata":"https://www.wikidata.org/wiki/Q272404","display_name":"Finite set","level":2,"score":0.34439998865127563},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3230000138282776},{"id":"https://openalex.org/C149364088","wikidata":"https://www.wikidata.org/wiki/Q185917","display_name":"Translation (biology)","level":4,"score":0.3118000030517578},{"id":"https://openalex.org/C65753522","wikidata":"https://www.wikidata.org/wiki/Q5204896","display_name":"DFA minimization","level":5,"score":0.2782000005245209},{"id":"https://openalex.org/C147297375","wikidata":"https://www.wikidata.org/wiki/Q6674930","display_name":"Look-ahead","level":2,"score":0.26579999923706055},{"id":"https://openalex.org/C125411270","wikidata":"https://www.wikidata.org/wiki/Q18653","display_name":"Encoding (memory)","level":2,"score":0.2630000114440918},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.2563999891281128}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1016/j.tcs.2026.115864","is_oa":true,"landing_page_url":"https://doi.org/10.1016/j.tcs.2026.115864","pdf_url":null,"source":{"id":"https://openalex.org/S90727058","display_name":"Theoretical Computer Science","issn_l":"0304-3975","issn":["0304-3975","1879-2294"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theoretical Computer Science","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1016/j.tcs.2026.115864","is_oa":true,"landing_page_url":"https://doi.org/10.1016/j.tcs.2026.115864","pdf_url":null,"source":{"id":"https://openalex.org/S90727058","display_name":"Theoretical Computer Science","issn_l":"0304-3975","issn":["0304-3975","1879-2294"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theoretical Computer Science","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320332172","display_name":"Directorate for Mathematical and Physical Sciences","ror":"https://ror.org/029b7h395"},{"id":"https://openalex.org/F4320334593","display_name":"Natural Sciences and Engineering Research Council of Canada","ror":"https://ror.org/01h531d29"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":11,"referenced_works":["https://openalex.org/W1207259902","https://openalex.org/W1502758008","https://openalex.org/W2034962669","https://openalex.org/W2057397453","https://openalex.org/W2061027066","https://openalex.org/W2082945930","https://openalex.org/W2102194201","https://openalex.org/W2122803069","https://openalex.org/W2140147014","https://openalex.org/W2336446049","https://openalex.org/W4312238170"],"related_works":[],"abstract_inverted_index":{"This":[0],"paper":[1],"considers":[2],"the":[3,65,92,97,109,120,176,212,257,264,268,287,303],"existence":[4],"of":[5,28,61,71,81,87,103,111,122,130,196,236,250,266,270,305,307],"short":[6,56,237,242],"synchronizing":[7,21,57,163,194,243,267,297],"words":[8,238],"in":[9,73,155,302],"deterministic":[10],"finite":[11],"automata":[12],"(DFAs).":[13],"We":[14,114,143],"define":[15],"two":[16,271],"general":[17],"strategies":[18,30,54],"for":[19],"generating":[20],"words,":[22],"and":[23,35,95,133,154,166,206,245,283],"we":[24,43,179,216,246,254,284],"show":[25,44,144,181,218,285],"that":[26,45,145,182,219,230,278,286,299],"each":[27],"these":[29],"can":[31,260],"be":[32,261],"applied":[33,262],"if":[34,37,46,165,168],"only":[36,167],"a":[38,47,74,82,104,112,157,162,171,193,220,226,234,241,280,296],"DFA":[39,49,75,159,190,222],"is":[40,50,231,300],"synchronizable.":[41],"Furthermore,":[42],"synchronizable":[48,221],"well-structured,":[51],"then":[52],"our":[53,62,88,116],"generate":[55],"words.":[58],"The":[59,85],"first":[60],"strategies,":[63,89],"called":[64,96],"cornering":[66,93,117,177,258],"strategy":[67,94,99,118,259],",":[68,100,125,275],"takes":[69,101],"advantage":[70,102],"states":[72,110,127,224,306],"with":[76,151],"properties":[77],"similar":[78,90],"to":[79,91,119,138,263],"those":[80],"polytope":[83],"vertex.":[84],"second":[86],"f-ordered":[98],"partial":[105,228],"order":[106,229],"defined":[107],"on":[108],"DFA.":[113],"apply":[115],"class":[121],"difference":[123,146,158],"DFAs":[124,147,272],"whose":[126,134,223],"form":[128],"subsets":[129],"R":[131],"d":[132],"input":[135],"symbols":[136],"correspond":[137],"translation":[139],"vectors":[140],"between":[141],"states.":[142],"share":[148,279],"many":[149],"similarities":[150],"aperiodic":[152],"DFAs,":[153],"particular,":[156],"M":[160,191,273,276,289,292,308,311],"has":[161,170,192,240,295],"word":[164,195,298],"it":[169],"universally":[172],"reachable":[173],"state.":[174],"Using":[175,211],"strategy,":[178,215],"also":[180,217,239],"under":[183],"certain":[184,227],"conditions,":[185],"such":[186],"an":[187],"n":[188,201],"-state":[189],"length":[197],"at":[198],"most":[199],"(":[200],"\u2212":[202],"1":[203,274,290,309],")":[204],"2":[205,277,293,312],"thereby":[207],"satisfies":[208],"\u010cern\u00fd\u2019s":[209],"conjecture.":[210],"f":[213],"-ordered":[214],"have":[225],"preserved":[232],"by":[233],"set":[235],"word,":[244],"consider":[247,255],"several":[248],"consequences":[249],"this":[251],"result.":[252],"Finally,":[253],"how":[256],"problem":[265],"product":[269,288],"common":[281],"alphabet,":[282],"\u00d7":[291,310],"often":[294],"subquadratic":[301],"number":[304],".":[313]},"counts_by_year":[],"updated_date":"2026-04-09T08:11:56.329763","created_date":"2026-03-16T00:00:00"}