Pascal Caron

Learn More
Glushkov algorithm computes a nondeterministic nite automaton without-transition and with n + 1 states from a simple regular expression having n occurrences of letters. The aim of this paper is to give a set of necessary and suucient conditions characterizing this automaton. Our characterization theorem is formulated in terms of directed graphs. Moreover(More)
Multi-tilde-bar operators allow us to extend regular expressions. The associated extended expressions are compatible with the structure of Glushkov automata and they provide a more succinct representation than standard expressions. The aim of this paper is to examine the derivation of multi-tilde-bar expressions. Two types of computation are investigated:(More)
The aim of this paper is to design a theoretical framework that allows us to perform the computation of regular expression derivatives through a space of generic structures. Thanks to this formalism, the main properties of regular expression derivation, such as the finiteness of the set of derivatives, need only be stated and proved one time, at the top(More)