English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

Browse thread
[Caml-list] Need NFA/DFA conversion help
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2004-09-16 (12:57)
From: skaller <skaller@u...>
Subject: Re: [Caml-list] Need NFA/DFA conversion help
On Thu, 2004-09-16 at 21:50, Diego Olivier Fernandez Pons wrote:

> In the same way a grammar that admits 'actions in the middle of a
> regexp [] rather than at the end' could hardly qualify as a 'rational
> language' which is what regexp theoretically describe.

Yes, so I am seeking an extension of the theory strong
enough to allow such 'actions' but weak enough to still
allow determinism -- if it exists. And I'll need a constructive
proiof -- that is, an algorithm :)

> - general textbook
> Parsing techniques (Dick Grune, Ceriel J.H. Jacobs) (electronic
> version on free download)
> http://www.cs.vu.nl/~dick/PTAPG.html

This looks like it would be a great reference but the FTP site
seems to be down.

John Skaller, mailto:skaller@users.sf.net
voice: 061-2-9660-0850, 
snail: PO BOX 401 Glebe NSW 2037 Australia
Checkout the Felix programming language http://felix.sf.net

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