TY  - JOUR
AU  - Della Penna, Giuseppe
AU  - Intrigila, Benedetto
AU  - Tronci, Enrico
AU  - Venturini Zilli, Marisa
PY  - 2002
DA  - 2002//
TI  - Synchronized Regular Expressions
JO  - Electr. Notes Theor. Comput. Sci.
SP  - 195
EP  - 210
VL  - 62
AB  - Text manipulation is one of the most common tasks for everyone using a computer. The increasing number of textual information in electronic format that every computer user collects everyday stresses the need of more powerful tools to interact with texts. Indeed, much work has been done to provide nonprogramming tools that can be useful for the most common text manipulation issues. Regular Expressions (RE), introduced by Kleene, are well–known in the formal language theory. RE received several extensions, depending on the application of interest. In almost all the implementations of RE search algorithms (e.g. the egrep [A] UNIX command, or the Perl [17] language pattern matching constructs) we find backreferences (as defind in [1]), i.e. expressions that make reference to the string matched by a previous subexpression. Generally speaking, it seems that all the kinds of synchronizations between subexpressions in a RE can be very useful when interacting with texts. Therefore, we introduce the Synchronized Regular Expressions (SRE) as a derivation of the Regular Expressions. We use SRE to present a formal study of the already known backreferences extension, and of a new extension proposed by us, which we call the synchronized exponents. Moreover, since we are talking about formalisms that should have a practical utility and can be used in the real world, we have the problem of how to present SRE to the final users. Therefore, in this paper we also propose a user–friendly syntax for SRE to be used in implementations of SRE–powered search algorithms.
L1  - http://mclab.di.uniroma1.it/publications/papers/papers/Della Penna2002a.pdf
UR  - http://www.sciencedirect.com/science/article/pii/S1571066104003275
N1  - TOSCA 2001, Theory of Concurrency, Higher Order Languages and Types
ID  - DellaPenna_etal2002
ER  -