{"id":"https://openalex.org/W4367555575","doi":"https://doi.org/10.1587/transinf.2022edp7098","title":"On Lookaheads in Regular Expressions with Backreferences","display_name":"On Lookaheads in Regular Expressions with Backreferences","publication_year":2023,"publication_date":"2023-04-30","ids":{"openalex":"https://openalex.org/W4367555575","doi":"https://doi.org/10.1587/transinf.2022edp7098"},"language":"en","primary_location":{"id":"doi:10.1587/transinf.2022edp7098","is_oa":true,"landing_page_url":"https://doi.org/10.1587/transinf.2022edp7098","pdf_url":"https://www.jstage.jst.go.jp/article/transinf/E106.D/5/E106.D_2022EDP7098/_pdf","source":{"id":"https://openalex.org/S2486202937","display_name":"IEICE Transactions on Information and Systems","issn_l":"0916-8532","issn":["0916-8532","1745-1361"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4320800604","host_organization_name":"Institute of Electronics, Information and Communication Engineers","host_organization_lineage":["https://openalex.org/P4320800604"],"host_organization_lineage_names":["Institute of Electronics, Information and Communication Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEICE Transactions on Information and Systems","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://www.jstage.jst.go.jp/article/transinf/E106.D/5/E106.D_2022EDP7098/_pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5063355691","display_name":"Nariyoshi Chida","orcid":"https://orcid.org/0000-0002-9542-9234"},"institutions":[{"id":"https://openalex.org/I2251713219","display_name":"NTT (Japan)","ror":"https://ror.org/00berct97","country_code":"JP","type":"company","lineage":["https://openalex.org/I2251713219"]},{"id":"https://openalex.org/I150744194","display_name":"Waseda University","ror":"https://ror.org/00ntfnx83","country_code":"JP","type":"education","lineage":["https://openalex.org/I150744194"]}],"countries":["JP"],"is_corresponding":true,"raw_author_name":"Nariyoshi CHIDA","raw_affiliation_strings":["NTT Security Japan","Waseda University"],"affiliations":[{"raw_affiliation_string":"NTT Security Japan","institution_ids":["https://openalex.org/I2251713219"]},{"raw_affiliation_string":"Waseda University","institution_ids":["https://openalex.org/I150744194"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5031661604","display_name":"Tachio Terauchi","orcid":"https://orcid.org/0000-0001-5305-4916"},"institutions":[{"id":"https://openalex.org/I150744194","display_name":"Waseda University","ror":"https://ror.org/00ntfnx83","country_code":"JP","type":"education","lineage":["https://openalex.org/I150744194"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Tachio TERAUCHI","raw_affiliation_strings":["Waseda University"],"affiliations":[{"raw_affiliation_string":"Waseda University","institution_ids":["https://openalex.org/I150744194"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5063355691"],"corresponding_institution_ids":["https://openalex.org/I150744194","https://openalex.org/I2251713219"],"apc_list":null,"apc_paid":null,"fwci":0.973,"has_fulltext":true,"cited_by_count":5,"citation_normalized_percentile":{"value":0.78442696,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":"E106.D","issue":"5","first_page":"959","last_page":"975"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11567","display_name":"semigroups and automata theory","score":0.9995999932289124,"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.9995999932289124,"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/T10181","display_name":"Natural Language Processing Techniques","score":0.9991000294685364,"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/T12326","display_name":"Network Packet Processing and Optimization","score":0.9987000226974487,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/regular-expression","display_name":"Regular expression","score":0.8117035627365112},{"id":"https://openalex.org/keywords/expressive-power","display_name":"Expressive power","score":0.7890657782554626},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7589036226272583},{"id":"https://openalex.org/keywords/extension","display_name":"Extension (predicate logic)","score":0.6280737519264221},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.53371262550354},{"id":"https://openalex.org/keywords/regular-language","display_name":"Regular language","score":0.528537929058075},{"id":"https://openalex.org/keywords/expression","display_name":"Expression (computer science)","score":0.5177580714225769},{"id":"https://openalex.org/keywords/finite-state-machine","display_name":"Finite-state machine","score":0.4747755229473114},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.46793505549430847},{"id":"https://openalex.org/keywords/nondeterministic-finite-automaton","display_name":"Nondeterministic finite automaton","score":0.4384533762931824},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.35833245515823364},{"id":"https://openalex.org/keywords/automata-theory","display_name":"Automata theory","score":0.271848201751709},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2348291277885437},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.15719658136367798}],"concepts":[{"id":"https://openalex.org/C121329065","wikidata":"https://www.wikidata.org/wiki/Q185612","display_name":"Regular expression","level":2,"score":0.8117035627365112},{"id":"https://openalex.org/C195818886","wikidata":"https://www.wikidata.org/wiki/Q5421724","display_name":"Expressive power","level":2,"score":0.7890657782554626},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7589036226272583},{"id":"https://openalex.org/C2778029271","wikidata":"https://www.wikidata.org/wiki/Q5421931","display_name":"Extension (predicate logic)","level":2,"score":0.6280737519264221},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.53371262550354},{"id":"https://openalex.org/C52370388","wikidata":"https://www.wikidata.org/wiki/Q752532","display_name":"Regular language","level":3,"score":0.528537929058075},{"id":"https://openalex.org/C90559484","wikidata":"https://www.wikidata.org/wiki/Q778379","display_name":"Expression (computer science)","level":2,"score":0.5177580714225769},{"id":"https://openalex.org/C167822520","wikidata":"https://www.wikidata.org/wiki/Q176452","display_name":"Finite-state machine","level":2,"score":0.4747755229473114},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.46793505549430847},{"id":"https://openalex.org/C158008952","wikidata":"https://www.wikidata.org/wiki/Q617295","display_name":"Nondeterministic finite automaton","level":4,"score":0.4384533762931824},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.35833245515823364},{"id":"https://openalex.org/C116248031","wikidata":"https://www.wikidata.org/wiki/Q214526","display_name":"Automata theory","level":3,"score":0.271848201751709},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2348291277885437},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.15719658136367798}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1587/transinf.2022edp7098","is_oa":true,"landing_page_url":"https://doi.org/10.1587/transinf.2022edp7098","pdf_url":"https://www.jstage.jst.go.jp/article/transinf/E106.D/5/E106.D_2022EDP7098/_pdf","source":{"id":"https://openalex.org/S2486202937","display_name":"IEICE Transactions on Information and Systems","issn_l":"0916-8532","issn":["0916-8532","1745-1361"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4320800604","host_organization_name":"Institute of Electronics, Information and Communication Engineers","host_organization_lineage":["https://openalex.org/P4320800604"],"host_organization_lineage_names":["Institute of Electronics, Information and Communication Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEICE Transactions on Information and Systems","raw_type":"journal-article"},{"id":"pmh:oai:drops-oai.dagstuhl.de:16296","is_oa":true,"landing_page_url":"https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2022.15","pdf_url":null,"source":{"id":"https://openalex.org/S4377196569","display_name":"DROPS (Schloss Dagstuhl \u2013 Leibniz Center for Informatics)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I2799853480","host_organization_name":"Schloss Dagstuhl \u2013 Leibniz Center for Informatics","host_organization_lineage":["https://openalex.org/I2799853480"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"InProceedings"},{"id":"doi:10.4230/lipics.fscd.2022.15","is_oa":true,"landing_page_url":"https://doi.org/10.4230/lipics.fscd.2022.15","pdf_url":null,"source":{"id":"https://openalex.org/S7407052059","display_name":"Dagstuhl Research Online Publication Server","issn_l":null,"issn":[],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"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":""}],"best_oa_location":{"id":"doi:10.1587/transinf.2022edp7098","is_oa":true,"landing_page_url":"https://doi.org/10.1587/transinf.2022edp7098","pdf_url":"https://www.jstage.jst.go.jp/article/transinf/E106.D/5/E106.D_2022EDP7098/_pdf","source":{"id":"https://openalex.org/S2486202937","display_name":"IEICE Transactions on Information and Systems","issn_l":"0916-8532","issn":["0916-8532","1745-1361"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4320800604","host_organization_name":"Institute of Electronics, Information and Communication Engineers","host_organization_lineage":["https://openalex.org/P4320800604"],"host_organization_lineage_names":["Institute of Electronics, Information and Communication Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEICE Transactions on Information and Systems","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G4627771384","display_name":"Program verification and program synthesis for side-channel attack resilience","funder_award_id":"18K19787","funder_id":"https://openalex.org/F4320334764","funder_display_name":"Japan Society for the Promotion of Science"},{"id":"https://openalex.org/G5778814166","display_name":null,"funder_award_id":"K2062","funder_id":"https://openalex.org/F4320334764","funder_display_name":"Japan Society for the Promotion of Science"},{"id":"https://openalex.org/G5786340949","display_name":null,"funder_award_id":"KAKENHI Grant Number","funder_id":"https://openalex.org/F4320334764","funder_display_name":"Japan Society for the Promotion of Science"},{"id":"https://openalex.org/G6886912484","display_name":"Verification of high-level programs containing mutable higher-order recursive data structures","funder_award_id":"17H01720","funder_id":"https://openalex.org/F4320334764","funder_display_name":"Japan Society for the Promotion of Science"},{"id":"https://openalex.org/G7011282011","display_name":null,"funder_award_id":"20K20625","funder_id":"https://openalex.org/F4320334764","funder_display_name":"Japan Society for the Promotion of Science"}],"funders":[{"id":"https://openalex.org/F4320334764","display_name":"Japan Society for the Promotion of Science","ror":"https://ror.org/00hhkn466"}],"has_content":{"grobid_xml":false,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4367555575.pdf"},"referenced_works_count":16,"referenced_works":["https://openalex.org/W1477170694","https://openalex.org/W1564013439","https://openalex.org/W1570445666","https://openalex.org/W1975653808","https://openalex.org/W2072607050","https://openalex.org/W2083735143","https://openalex.org/W2286758035","https://openalex.org/W2783338758","https://openalex.org/W2897675441","https://openalex.org/W3099242157","https://openalex.org/W3148826620","https://openalex.org/W3157903927","https://openalex.org/W4206635485","https://openalex.org/W4251893211","https://openalex.org/W4287634532","https://openalex.org/W4367555575"],"related_works":["https://openalex.org/W2603910788","https://openalex.org/W2105843429","https://openalex.org/W2613180196","https://openalex.org/W2394954760","https://openalex.org/W2281054049","https://openalex.org/W2167032348","https://openalex.org/W2146605784","https://openalex.org/W2280368318","https://openalex.org/W1582705003","https://openalex.org/W2957510905"],"abstract_inverted_index":{"Many":[0],"modern":[1,25],"regular":[2,26,40,67,90,111,122,183],"expression":[3,27],"engines":[4,28],"employ":[5],"various":[6],"extensions":[7,19],"to":[8,182,191,223,231,246,262],"give":[9],"more":[10],"expressive":[11,44,60,64,83,87,119,144],"support":[12],"for":[13],"real-world":[14],"usages.":[15],"Among":[16],"the":[17,24,52,59,63,77,82,86,103,108,118,129,143,154,166,197,248,263],"major":[18],"employed":[20],"by":[21,54,79,115,132],"many":[22],"of":[23,35,66,89,110,121,146,160,168,174,178,212,228,238,251,266,278,285,290],"are":[29,258],"backreferences":[30,80,93,114],"and":[31,74,153],"lookaheads.":[32,253],"A":[33,158],"question":[34,130],"interest":[36],"about":[37],"these":[38],"extended":[39],"expressions":[41,68,91,112,123,184],"is":[42,71,97,163,230,244],"their":[43],"power.":[45],"Previous":[46],"works":[47],"have":[48],"shown":[49],"that":[50,75,134,164,173,221,243,280],"(i)":[51],"extension":[53,78,109,277],"lookaheads":[55,70,116,138,141,219],"does":[56],"not":[57],"enhance":[58,117],"power,":[61,84],"i.e.,":[62,85],"power":[65,88,120,145],"with":[69,92,113,124,185,217,234],"still":[72],"regular,":[73],"(ii)":[76],"enhances":[81],"(abbreviated":[94],"as":[95,151,156,199,274],"rewb)":[96],"no":[98],"longer":[99],"regular.":[100],"This":[101,126],"raises":[102],"following":[104],"natural":[105,276],"question:":[106],"Does":[107],"backreferences?":[125],"paper":[127],"answers":[128],"positively":[131],"proving":[133],"adding":[135],"either":[136],"positive":[137,218,252],"or":[139,193],"negative":[140],"increases":[142],"rewb":[147],"(the":[148],"former":[149],"abbreviated":[150],"rewblp":[152,192],"latter":[155],"rewbln).":[157],"consequence":[159],"our":[161,255,269],"result":[162],"neither":[165],"class":[167,211],"finite":[169],"state":[170],"automata":[171,176,213,216],"nor":[172],"memory":[175,215],"(MFA)":[177],"Schmid[2]":[179],"(which":[180],"corresponds":[181,190,222],"backreferenes":[186],"but":[187],"without":[188],"lookaheads)":[189],"rewbln.":[194],"To":[195],"fill":[196],"void,":[198],"a":[200,209,235,275],"first":[201],"step":[202],"toward":[203],"building":[204],"such":[205],"automata,":[206],"we":[207],"propose":[208],"new":[210,236],"called":[214,240],"(PLMFA)":[220],"rewblp.":[224,292],"The":[225],"key":[226],"idea":[227],"PLMFA":[229,270],"extend":[232],"MFA":[233,279],"kind":[237],"memories,":[239],"positive-lookahead":[241,256],"memory,":[242],"used":[245],"simulate":[247],"backtracking":[249],"behavior":[250],"Interestingly,":[254],"memories":[257,265],"almost":[259],"perfectly":[260],"symmetric":[261],"capturing-group":[264],"MFA.":[267],"Therefore,":[268],"can":[271,281],"be":[272,282],"seen":[273],"obtained":[283],"independently":[284],"its":[286],"original":[287],"intended":[288],"purpose":[289],"simulating":[291]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1}],"updated_date":"2026-04-21T08:09:41.155169","created_date":"2025-10-10T00:00:00"}