loading...
Conservative Extensions of Regular Languages
Arica, Chile November 11-November 12
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/QEST.2004.7XXIV International Conference of the ...
 This Article 
 
PDF
HTML
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
B?atrice Bouchou, Universit? Fran?ois Rabelais - LI/Antenne de Blois - France
Denio Duarte, Universit? Fran?ois Rabelais - LI/Antenne de Blois - France
M?rian Halfeld Ferrari Alves, Universit? Fran?ois Rabelais - LI/Antenne de Blois - France
Dominique Laurent, Universit? de Cergy-Pontoise - LICP - France
Martin A. Musicante, Universidade Federal do Paran?, Brazil
Given a regular expression E and a word w belonging to the language associated to E (i.e.w ∊ L(E)), we consider the following problem: Let the word w' be obtained from w by adding or removing one symbol. In this case, we are interested in building new regular expressions E' such are similar to E and such that L(E) ∪ {w'} ⊆ L(E').
The new regular expressions are computed by an algorithm called GREC that performs changes on a finite state automation accepting L(E), in order to derive the new regular expressions E'.
Our method consists in proposing different choices, permitting the evolution of the data belonging to an application. As the final choice depends on the intended semantics for the data, it is left to an advised user.
Citation:
B?atrice Bouchou, Denio Duarte, M?rian Halfeld Ferrari Alves, Dominique Laurent, Martin A. Musicante, "Conservative Extensions of Regular Languages," sccc, pp.99-109, XXIV International Conference of the Chilean Computer Science Society (SCCC'04), 2004
Usage of this product signifies your acceptance of the Terms of Use.


Suggestions