{"id":"https://openalex.org/W2083735143","doi":"https://doi.org/10.1142/s012905410300214x","title":"A FORMAL STUDY OF PRACTICAL REGULAR EXPRESSIONS","display_name":"A FORMAL STUDY OF PRACTICAL REGULAR EXPRESSIONS","publication_year":2003,"publication_date":"2003-12-01","ids":{"openalex":"https://openalex.org/W2083735143","doi":"https://doi.org/10.1142/s012905410300214x","mag":"2083735143"},"language":"en","primary_location":{"id":"doi:10.1142/s012905410300214x","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s012905410300214x","pdf_url":null,"source":{"id":"https://openalex.org/S68047077","display_name":"International Journal of Foundations of Computer Science","issn_l":"0129-0541","issn":["0129-0541","1793-6373"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319815","host_organization_name":"World Scientific","host_organization_lineage":["https://openalex.org/P4310319815"],"host_organization_lineage_names":["World Scientific"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Foundations of Computer Science","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/A5021282163","display_name":"Cezar C\u00e2mpeanu","orcid":"https://orcid.org/0000-0002-9777-3012"},"institutions":[{"id":"https://openalex.org/I22188714","display_name":"University of Prince Edward Island","ror":"https://ror.org/02xh9x144","country_code":"CA","type":"education","lineage":["https://openalex.org/I22188714"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"CEZAR C\u00c2MPEANU","raw_affiliation_strings":["Department of Mathematics and Computer Science,  UPEI, Charlottetown, PE C1A 4P3, Canada","Department of Mathematics and Computer Science, UPEI, Charlottetown, PE C1A 4P3, Canada"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematics and Computer Science,  UPEI, Charlottetown, PE C1A 4P3, Canada","institution_ids":["https://openalex.org/I22188714"]},{"raw_affiliation_string":"Department of Mathematics and Computer Science, UPEI, Charlottetown, PE C1A 4P3, Canada","institution_ids":["https://openalex.org/I22188714"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5009151151","display_name":"Kai Salomaa","orcid":"https://orcid.org/0000-0003-4582-7477"},"institutions":[{"id":"https://openalex.org/I204722609","display_name":"Queen's University","ror":"https://ror.org/02y72wh86","country_code":"CA","type":"education","lineage":["https://openalex.org/I204722609"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"KAI SALOMAA","raw_affiliation_strings":["Computing and Information Science Department,  Queen's University, Kingston, Ontario K7L 3N6, Canada","Computing and Information Science Department, Queen's University, Kingston, Ontario K7L 3N6, Canada"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Computing and Information Science Department,  Queen's University, Kingston, Ontario K7L 3N6, Canada","institution_ids":["https://openalex.org/I204722609"]},{"raw_affiliation_string":"Computing and Information Science Department, Queen's University, Kingston, Ontario K7L 3N6, Canada","institution_ids":["https://openalex.org/I204722609"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5111766129","display_name":"Sheng Y\u00fc","orcid":"https://orcid.org/0000-0002-5189-7140"},"institutions":[{"id":"https://openalex.org/I125749732","display_name":"Western University","ror":"https://ror.org/02grkyz14","country_code":"CA","type":"education","lineage":["https://openalex.org/I125749732"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"SHENG YU","raw_affiliation_strings":["Department of Computer Science,  University of Western Ontario, London, Ontario N6A 5B7, Canada","Department of Computer Science, University of Western Ontario, London, Ontario N6A 5B7, Canada"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science,  University of Western Ontario, London, Ontario N6A 5B7, Canada","institution_ids":["https://openalex.org/I125749732"]},{"raw_affiliation_string":"Department of Computer Science, University of Western Ontario, London, Ontario N6A 5B7, Canada","institution_ids":["https://openalex.org/I125749732"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.0909,"has_fulltext":false,"cited_by_count":99,"citation_normalized_percentile":{"value":0.78190321,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":97,"max":99},"biblio":{"volume":"14","issue":"06","first_page":"1007","last_page":"1018"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11567","display_name":"semigroups and automata theory","score":0.9998999834060669,"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.9998999834060669,"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.9976999759674072,"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/T10911","display_name":"Chemical Synthesis and Analysis","score":0.9958999752998352,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/regular-expression","display_name":"Regular expression","score":0.7606430053710938},{"id":"https://openalex.org/keywords/regular-language","display_name":"Regular language","score":0.6968765258789062},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6549128293991089},{"id":"https://openalex.org/keywords/pumping-lemma-for-regular-languages","display_name":"Pumping lemma for regular languages","score":0.5594707727432251},{"id":"https://openalex.org/keywords/context-free-language","display_name":"Context-free language","score":0.538112223148346},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.4705636501312256},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.36473095417022705},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3267751932144165},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.15892043709754944},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.15125036239624023},{"id":"https://openalex.org/keywords/biology","display_name":"Biology","score":0.07979774475097656},{"id":"https://openalex.org/keywords/rule-based-machine-translation","display_name":"Rule-based machine translation","score":0.07354238629341125},{"id":"https://openalex.org/keywords/programming-paradigm","display_name":"Programming paradigm","score":0.0715726912021637},{"id":"https://openalex.org/keywords/fifth-generation-programming-language","display_name":"Fifth-generation programming language","score":0.07138091325759888}],"concepts":[{"id":"https://openalex.org/C121329065","wikidata":"https://www.wikidata.org/wiki/Q185612","display_name":"Regular expression","level":2,"score":0.7606430053710938},{"id":"https://openalex.org/C52370388","wikidata":"https://www.wikidata.org/wiki/Q752532","display_name":"Regular language","level":3,"score":0.6968765258789062},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6549128293991089},{"id":"https://openalex.org/C157968401","wikidata":"https://www.wikidata.org/wiki/Q2292874","display_name":"Pumping lemma for regular languages","level":5,"score":0.5594707727432251},{"id":"https://openalex.org/C198838072","wikidata":"https://www.wikidata.org/wiki/Q729271","display_name":"Context-free language","level":3,"score":0.538112223148346},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.4705636501312256},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.36473095417022705},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3267751932144165},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.15892043709754944},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.15125036239624023},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.07979774475097656},{"id":"https://openalex.org/C53893814","wikidata":"https://www.wikidata.org/wiki/Q7378909","display_name":"Rule-based machine translation","level":2,"score":0.07354238629341125},{"id":"https://openalex.org/C34165917","wikidata":"https://www.wikidata.org/wiki/Q188267","display_name":"Programming paradigm","level":2,"score":0.0715726912021637},{"id":"https://openalex.org/C199305712","wikidata":"https://www.wikidata.org/wiki/Q3205914","display_name":"Fifth-generation programming language","level":3,"score":0.07138091325759888},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C11164408","wikidata":"https://www.wikidata.org/wiki/Q18657800","display_name":"Second-generation programming language","level":4,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1142/s012905410300214x","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s012905410300214x","pdf_url":null,"source":{"id":"https://openalex.org/S68047077","display_name":"International Journal of Foundations of Computer Science","issn_l":"0129-0541","issn":["0129-0541","1793-6373"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319815","host_organization_name":"World Scientific","host_organization_lineage":["https://openalex.org/P4310319815"],"host_organization_lineage_names":["World Scientific"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Foundations of Computer Science","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/4","score":0.7699999809265137,"display_name":"Quality Education"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":11,"referenced_works":["https://openalex.org/W570100910","https://openalex.org/W1584587517","https://openalex.org/W1585318734","https://openalex.org/W1601674470","https://openalex.org/W1605602528","https://openalex.org/W2039984653","https://openalex.org/W2089182307","https://openalex.org/W2100648544","https://openalex.org/W4211010176","https://openalex.org/W4302339081","https://openalex.org/W4403324900"],"related_works":["https://openalex.org/W4295836506","https://openalex.org/W2229354094","https://openalex.org/W2964542290","https://openalex.org/W2037441184","https://openalex.org/W2057272273","https://openalex.org/W2998521476","https://openalex.org/W2083735143","https://openalex.org/W4376863261","https://openalex.org/W1692710806","https://openalex.org/W2105739157"],"abstract_inverted_index":{"Regular":[0],"expressions":[1,10],"are":[2,11,20,80,101],"used":[3],"in":[4],"many":[5],"practical":[6],"applications.":[7],"Practical":[8],"regular":[9,23,46,57],"commonly":[12],"called":[13],"\"regex\".":[14],"It":[15],"is":[16],"known":[17],"that":[18,73],"regex":[19,30,39,44,49,79,100],"different":[21],"from":[22],"expressions.":[24],"In":[25],"this":[26],"paper,":[27],"we":[28],"give":[29],"a":[31,36,51,61,86],"formal":[32],"treatment.":[33],"We":[34,59,71],"make":[35],"distinction":[37],"between":[38],"and":[40,85],"extended":[41,48,69,78,99],"regex;":[42],"while":[43],"represent":[45,50],"languages,":[47],"family":[52],"of":[53,89,94],"languages":[54,66,75,84,96],"larger":[55],"than":[56],"languages.":[58,91],"prove":[60],"pumping":[62],"lemma":[63],"for":[64],"the":[65,74,95],"expressed":[67],"by":[68,77,98],"regex.":[70],"show":[72],"represented":[76,97],"incomparable":[81],"with":[82],"context-free":[83],"proper":[87],"subset":[88],"context-sensitive":[90],"Other":[92],"properties":[93],"also":[102],"studied.":[103]},"counts_by_year":[{"year":2026,"cited_by_count":2},{"year":2025,"cited_by_count":7},{"year":2024,"cited_by_count":4},{"year":2023,"cited_by_count":8},{"year":2022,"cited_by_count":5},{"year":2021,"cited_by_count":6},{"year":2020,"cited_by_count":5},{"year":2019,"cited_by_count":6},{"year":2018,"cited_by_count":5},{"year":2017,"cited_by_count":5},{"year":2016,"cited_by_count":5},{"year":2015,"cited_by_count":6},{"year":2014,"cited_by_count":6},{"year":2013,"cited_by_count":8},{"year":2012,"cited_by_count":8}],"updated_date":"2026-07-21T08:15:58.654021","created_date":"2025-10-10T00:00:00"}