{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,21]],"date-time":"2026-07-21T02:38:08Z","timestamp":1784601488808,"version":"3.55.0"},"reference-count":10,"publisher":"World Scientific Pub Co Pte Lt","issue":"06","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Found. Comput. Sci."],"published-print":{"date-parts":[[2003,12]]},"abstract":"<jats:p> Regular expressions are used in many practical applications. Practical regular expressions are commonly called \"regex\". It is known that regex are different from regular expressions. In this paper, we give regex a formal treatment. We make a distinction between regex and extended regex; while regex represent regular languages, extended regex represent a family of languages larger than regular languages. We prove a pumping lemma for the languages expressed by extended regex. We show that the languages represented by extended regex are incomparable with context-free languages and a proper subset of context-sensitive languages. Other properties of the languages represented by extended regex are also studied. <\/jats:p>","DOI":"10.1142\/s012905410300214x","type":"journal-article","created":{"date-parts":[[2003,12,19]],"date-time":"2003-12-19T00:51:21Z","timestamp":1071795081000},"page":"1007-1018","source":"Crossref","is-referenced-by-count":77,"title":["A FORMAL STUDY OF PRACTICAL REGULAR EXPRESSIONS"],"prefix":"10.1142","volume":"14","author":[{"given":"CEZAR","family":"C\u00c2MPEANU","sequence":"first","affiliation":[{"name":"Department of Mathematics and Computer Science,  UPEI, Charlottetown, PE C1A 4P3, Canada"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"KAI","family":"SALOMAA","sequence":"additional","affiliation":[{"name":"Computing and Information Science Department,  Queen's University, Kingston, Ontario K7L 3N6, Canada"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"SHENG","family":"YU","sequence":"additional","affiliation":[{"name":"Department of Computer Science,  University of Western Ontario, London, Ontario N6A 5B7, Canada"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"219","published-online":{"date-parts":[[2011,11,20]]},"reference":[{"key":"rf1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44674-5_6"},{"key":"rf2","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44674-5_7"},{"key":"rf3","volume-title":"Perl \u2014 The Programmer's Companion","author":"Chapman N.","year":"1997"},{"key":"rf5","volume-title":"Mastering Regular Expressions","author":"Friedl Jeffrey E. F.","year":"1997"},{"key":"rf6","volume-title":"Introduction to Automata Theory, Languages, and Computation","author":"Hopcroft J. E.","year":"1979"},{"key":"rf7","doi-asserted-by":"publisher","DOI":"10.1006\/jcss.2001.1748"},{"key":"rf8","first-page":"328","author":"Ilie L.","journal-title":"Mathematical Foundations of Computer Science"},{"key":"rf9","series-title":"Lex - a lexical analyzer generator","volume-title":"Computer Science Technical Report","volume":"39","author":"Lesk M. E.","year":"1975"},{"key":"rf10","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(97)00163-1"},{"key":"rf11","doi-asserted-by":"crossref","unstructured":"S.\u00a0Yu, Handbook of Formal Languages, eds. G.\u00a0Rozenberg and A.\u00a0Salomaa (Springer, 1998)\u00a0pp. 41\u2013110.","DOI":"10.1007\/978-3-642-59136-5_2"}],"container-title":["International Journal of Foundations of Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S012905410300214X","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,7]],"date-time":"2019-08-07T11:25:47Z","timestamp":1565177147000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S012905410300214X"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,12]]},"references-count":10,"journal-issue":{"issue":"06","published-online":{"date-parts":[[2011,11,20]]},"published-print":{"date-parts":[[2003,12]]}},"alternative-id":["10.1142\/S012905410300214X"],"URL":"https:\/\/doi.org\/10.1142\/s012905410300214x","relation":{},"ISSN":["0129-0541","1793-6373"],"issn-type":[{"value":"0129-0541","type":"print"},{"value":"1793-6373","type":"electronic"}],"subject":[],"published":{"date-parts":[[2003,12]]}}}