Dear Carlos,
On Tue, Mar 09, 2010 at 07:05:20AM +0100, Vincent Delecroix wrote:
> I just answer few words about Automata. We talked with Jean Berstel
> about it during Sage days 20 and he said that there was a lot of
> software available around the world for dealing with them. The most
> general and most active is vaucanson (maintained by Jacques
> Sakarovitch) which at the same time a software for dealing with
> Automaton and a latex library. Everything is GPL, written in C++ and
> available here
>
> http://www.infres.enst.fr/~jsaka/PROJ-VAUC/proj-vauc-eng.html
I was about to strongly recommend integrating some existing software
as well. I have no experience myself to tell which one would be best
but Jean Berstel is definitely of good advice.
Carlos, would you be up for such a project? That would be great. It is
easy for us to get in touch with the developers (actually they are
already Sage aware, and we almost started a discussion on the topic
the other day).
Note: it would be best, at least in the mid-run, if this integration
was backed up by a research project which would make a good use of it.
> We also talked with Sébastien Labbé and Alexandre Blondin-Massé about
> a class for general languages (which contains regular language).
> Julien Cassaigne during his two talks gave good ideas for data
> structure and algorithms for factorial languages arising from
> substitution... too much work to do in this direction in Sage.
Things will come with time. And the more we work together, together,
together, for the more we work together, the faster that'll be.
Best,
Nicolas
--
Nicolas M. Thiéry "Isil" <nthi...@users.sf.net>
http://Nicolas.Thiery.name/
--
To post to this group, send an email to sage-devel@googlegroups.com
To unsubscribe from this group, send an email to
sage-devel+unsubscr...@googlegroups.com
For more options, visit this group at http://groups.google.com/group/sage-devel
URL: http://www.sagemath.org
