From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id SAA21461; Thu, 11 Dec 2003 18:18:00 +0100 (MET) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id SAA21450 for ; Thu, 11 Dec 2003 18:17:59 +0100 (MET) Received: from shiva.jussieu.fr (shiva.jussieu.fr [134.157.0.129]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id hBBHHw118743 for ; Thu, 11 Dec 2003 18:17:58 +0100 (MET) Received: from ibm3.cicrp.jussieu.fr (ibm3.cicrp.jussieu.fr [134.157.15.3]) by shiva.jussieu.fr (8.12.10/jtpda-5.4) with ESMTP id hBBHHwZT032899 for ; Thu, 11 Dec 2003 18:17:58 +0100 (CET) X-Ids: 168 Received: from ibm1.cicrp.jussieu.fr (ibm1.cicrp.jussieu.fr [134.157.15.1]) by ibm3.cicrp.jussieu.fr (8.8.8/jtpda/mob-V8) with ESMTP id SAA37756 for ; Thu, 11 Dec 2003 18:16:58 +0100 Received: from localhost (fernande@localhost) by ibm1.cicrp.jussieu.fr (AIX5.1/8.11.6p2/jtpda/mob-v8) with ESMTP id hBBHGuL5931102 for ; Thu, 11 Dec 2003 18:16:57 +0100 Date: Thu, 11 Dec 2003 18:16:50 +0100 (NFT) From: Diego Olivier Fernandez Pons To: caml-list@inria.fr Subject: [Caml-list] =?iso-8859-1?Q?Biblioth=E8ques_d'expressions_r=E9guli=E8res_de_Ca?= =?iso-8859-1?Q?ml_3=2E07?= Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=iso-8859-1 Content-Transfer-Encoding: QUOTED-PRINTABLE X-Miltered: at shiva.jussieu.fr by Joe's j-chkmail ("http://j-chkmail.ensmp.fr")! X-Antivirus: scanned by sophie at shiva.jussieu.fr X-Loop: caml-list@inria.fr X-Spam: no; 0.00; pons:01 pons:01 etu:99 3.07:01 3.07:01 arriere:01 semantique:01 automates:01 arriere:01 represente:01 camlp:01 regexp:01 fernandez:01 fernandez:01 cristal:01 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Bonjour, Je viens d'examiner la nouvelle biblioth=E8que d'expressions r=E9guli=E8res incluse dans Caml 3.07 (Str). Je ne suis pas certain d'avoir compris la totalit=E9 de son code mais il semblerait qu'elle transforme l'expression r=E9guli=E8re en un automate avec retour en arri=E8re (backtracking automata) compil=E9 ensuite vers du byte-code sp=E9cialis=E9. Ensuite en fonction de la s=E9mantique d=E9sir=E9= e, un petit interpr=E8te C ex=E9cute ce code. Cette m=E9thode d'impl=E9mentation est pour le moins inusuelle, les plus courantes =E9tant les interpr=E8tes r=E9cursifs pour les automates avec retour en arri=E8re (par exemple SML/NJ) ou la g=E9n=E9ration d'un automate d=E9terministe repr=E9sent=E9 par des tables soit statiquement (Lex) soit dynamiquement (Regexp, LibRE). A priori ce doit =EAtre beaucoup plus rapide. Y-a-il des mesures de performance par rapport aux autres biblioth=E8ques Caml ? =E0 des biblioth=E8ques C ? Ce m=EAme byte-code semble pouvoir servir aussi comme cible pour d'autres applications de m=EAme type tel un YACC qui g=E9n=E8rerait des parseurs dynamiquement ou encore le CamlP4. Ce byte-code sera-t-il stabilis=E9 ? L'=E9quipe Cristal a-t-elle des projets en ce sens ? Cordialement, Diego Olivier ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners