{"id":"https://openalex.org/W7165850680","doi":"https://doi.org/10.48550/arxiv.2606.25172","title":"Exact Local Annotations for Regular Languages","display_name":"Exact Local Annotations for Regular Languages","publication_year":2026,"publication_date":"2026-06-23","ids":{"openalex":"https://openalex.org/W7165850680","doi":"https://doi.org/10.48550/arxiv.2606.25172"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2606.25172","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2606.25172","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2606.25172","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5139338637","display_name":"Faruk Alpay","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Alpay, Faruk","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5137349211","display_name":"Baris Basaran","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Basaran, Baris","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"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/T11567","display_name":"semigroups and automata theory","score":0.6435999870300293,"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.6435999870300293,"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/T12072","display_name":"Machine Learning and Algorithms","score":0.0989999994635582,"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/T10142","display_name":"Formal Methods in Verification","score":0.06080000102519989,"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/morphism","display_name":"Morphism","score":0.6574000120162964},{"id":"https://openalex.org/keywords/constant","display_name":"Constant (computer programming)","score":0.5889999866485596},{"id":"https://openalex.org/keywords/quotient","display_name":"Quotient","score":0.5814999938011169},{"id":"https://openalex.org/keywords/regular-language","display_name":"Regular language","score":0.5622000098228455},{"id":"https://openalex.org/keywords/product","display_name":"Product (mathematics)","score":0.5019000172615051},{"id":"https://openalex.org/keywords/closure","display_name":"Closure (psychology)","score":0.44679999351501465},{"id":"https://openalex.org/keywords/matching","display_name":"Matching (statistics)","score":0.439300000667572},{"id":"https://openalex.org/keywords/substitution","display_name":"Substitution (logic)","score":0.42969998717308044}],"concepts":[{"id":"https://openalex.org/C137212723","wikidata":"https://www.wikidata.org/wiki/Q1948412","display_name":"Morphism","level":2,"score":0.6574000120162964},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5893999934196472},{"id":"https://openalex.org/C2777027219","wikidata":"https://www.wikidata.org/wiki/Q1284190","display_name":"Constant (computer programming)","level":2,"score":0.5889999866485596},{"id":"https://openalex.org/C199422724","wikidata":"https://www.wikidata.org/wiki/Q41118","display_name":"Quotient","level":2,"score":0.5814999938011169},{"id":"https://openalex.org/C52370388","wikidata":"https://www.wikidata.org/wiki/Q752532","display_name":"Regular language","level":3,"score":0.5622000098228455},{"id":"https://openalex.org/C90673727","wikidata":"https://www.wikidata.org/wiki/Q901718","display_name":"Product (mathematics)","level":2,"score":0.5019000172615051},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4683000147342682},{"id":"https://openalex.org/C146834321","wikidata":"https://www.wikidata.org/wiki/Q2979672","display_name":"Closure (psychology)","level":2,"score":0.44679999351501465},{"id":"https://openalex.org/C165064840","wikidata":"https://www.wikidata.org/wiki/Q1321061","display_name":"Matching (statistics)","level":2,"score":0.439300000667572},{"id":"https://openalex.org/C2778220771","wikidata":"https://www.wikidata.org/wiki/Q1522579","display_name":"Substitution (logic)","level":2,"score":0.42969998717308044},{"id":"https://openalex.org/C62354387","wikidata":"https://www.wikidata.org/wiki/Q875399","display_name":"Boundary (topology)","level":2,"score":0.39340001344680786},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.37610000371932983},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3718000054359436},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.3707999885082245},{"id":"https://openalex.org/C90805587","wikidata":"https://www.wikidata.org/wiki/Q10944557","display_name":"Word (group theory)","level":2,"score":0.35679998993873596},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.33079999685287476},{"id":"https://openalex.org/C2780422015","wikidata":"https://www.wikidata.org/wiki/Q402152","display_name":"Ancestor","level":2,"score":0.3287999927997589},{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.3262999951839447},{"id":"https://openalex.org/C2776321320","wikidata":"https://www.wikidata.org/wiki/Q857525","display_name":"Annotation","level":2,"score":0.31529998779296875},{"id":"https://openalex.org/C121329065","wikidata":"https://www.wikidata.org/wiki/Q185612","display_name":"Regular expression","level":2,"score":0.29589998722076416},{"id":"https://openalex.org/C113174947","wikidata":"https://www.wikidata.org/wiki/Q2859736","display_name":"Tree (set theory)","level":2,"score":0.2921999990940094},{"id":"https://openalex.org/C204707403","wikidata":"https://www.wikidata.org/wiki/Q1152398","display_name":"Canonical form","level":2,"score":0.28029999136924744},{"id":"https://openalex.org/C162392398","wikidata":"https://www.wikidata.org/wiki/Q272404","display_name":"Finite set","level":2,"score":0.27489998936653137},{"id":"https://openalex.org/C66746571","wikidata":"https://www.wikidata.org/wiki/Q1134833","display_name":"ENCODE","level":3,"score":0.2734000086784363}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2606.25172","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2606.25172","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2606.25172","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2606.25172","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"sustainable_development_goals":[{"score":0.6234573125839233,"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"A":[0],"regular":[1,29,75],"language":[2],"is":[3,40,106,142],"recognized":[4],"by":[5],"a":[6,10,19,47,74,150,162,176],"finite":[7,163],"monoid,":[8],"but":[9],"locally":[11,49],"checkable":[12],"explanation":[13],"of":[14,37,43,63],"that":[15,46,66,111,123,138],"recognition":[16,141],"can":[17],"have":[18],"nontrivial":[20,115],"update":[21],"geometry.":[22],"We":[23,135],"study":[24],"exact":[25],"bounded-arity":[26],"annotations":[27],"for":[28,149],"word":[30],"languages":[31],"under":[32],"one-symbol":[33],"substitutions.":[34],"The":[35,100,166],"cost":[36],"an":[38,113,132],"edit":[39,88],"the":[41,56,61,77,97,157],"number":[42,62],"annotation":[44,80],"cells":[45],"canonical":[48],"accepted":[50],"representation":[51],"must":[52,67],"change,":[53],"together":[54],"with":[55],"corresponding":[57],"bit":[58],"movement":[59],"and":[60,93,155,172],"local":[64],"constraints":[65],"be":[68],"revalidated.":[69],"For":[70],"every":[71,128],"morphism":[72],"recognizing":[73],"language,":[76],"balanced":[78],"product":[79,109,120],"gives":[81],"constant":[82,94],"locality,":[83,145],"linear":[84],"size,":[85],"O(log":[86,90],"n)":[87,91],"stability,":[89],"revalidation,":[92],"access":[95],"to":[96,108],"membership":[98],"value.":[99],"matching":[101],"lower":[102],"bound":[103],"proved":[104],"here":[105],"restricted":[107],"decompositions":[110],"expose":[112],"edit-active":[114],"group":[116],"quotient":[117,129],"as":[118,161],"ordered":[119],"labels;":[121],"in":[122],"setting":[124],"one":[125],"substitution":[126],"changes":[127],"label":[130],"on":[131],"ancestor":[133],"path.":[134],"also":[136],"show":[137],"annotation-free":[139],"bounded-window":[140],"exactly":[143],"strict":[144],"prove":[146],"closure":[147],"properties":[148],"two-sided":[151],"total":[152],"decision":[153],"variant,":[154],"formulate":[156],"remaining":[158],"constant-stability":[159],"boundary":[160],"obstruction":[164],"problem.":[165],"ancillary":[167],"files":[168],"include":[169],"Lean,":[170],"CP-SAT,":[171],"CUDA":[173],"certificates,":[174],"including":[175],"context-free":[177],"interval-chart":[178],"experiment.":[179]},"counts_by_year":[],"updated_date":"2026-07-28T07:46:37.118299","created_date":"2026-06-26T00:00:00"}