Dear Daniel, Clemens, Sara,
On Thu, Sep 12, 2013 at 02:31:32PM +0200, Daniel Krenn wrote:
> for the past 18 month we (our working group) developed a package adding
> support for finite state machines, especially finite automata and
> transducers.
> We've opened a trac ticket and submitted the code, see #15078 (link [1]
> below), and set its status to "needs_review". The patch itself does not
> change the existing Sage, but only adds the new module. So from that
> point of view, the review should be easy.
>
> Any comments are welcome. The main purpose of this message is a request
> for reviewing the ticket.
Thanks so much for this useful contribution. We have been longing for
automatons & friends in Sage for a long while!
Could you post on the trac description a summary of the currently
implemented features, maybe with a couple striking examples?
Alas, I won't be able to handle the review myself (heavy teaching load
this semester). Volunteers anyone?
One thing that deserves discussion is whether we want to maintain a
separate implementation of finite automatons in Sage, or rather use
one of the many existing optimized libraries like e.g. Vaucanson [1];
in the former case, while we are at having a Python implementation, do
we want to aim in the long run at automatons with multiplicities
(defined over a semiring), or stick to plain automatons.
Cheers,
Nicolas
[1] http://www.lrde.epita.fr/cgi-bin/twiki/view/Vaucanson/
PS: I strongly recommend getting in touch very early on when starting
such a project, so as to get early feedback and gather forces.
--
Nicolas M. Thiéry "Isil" <nthi...@users.sf.net>
http://Nicolas.Thiery.name/
--
You received this message because you are subscribed to the Google Groups
"sage-combinat-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to sage-combinat-devel+unsubscr...@googlegroups.com.
To post to this group, send email to sage-combinat-devel@googlegroups.com.
Visit this group at http://groups.google.com/group/sage-combinat-devel.
For more options, visit https://groups.google.com/groups/opt_out.
