Hi Carlos, On Tue, Mar 9, 2010 at 6:56 AM, Carlos Eduardo Lopez Camey <c.lo...@kmels.net> wrote:
<SNIP> > do you think it's a good idea to propose Finite Automata > support? Some features for automata theory would be good because this would assist computer science students in learning automata theory. However, before you start from scratch, first consider what are available. There is PyFSA [2] which has been proposed [1] to be polished up and included in Sage. Then there is the Automata [3] package in GAP. I encourage you to first survey what are available and then draw up a plan to implement functionalities of FSA. Somewhere along your path to implementation of FSA in Sage, you would likely need to make use of the graph theory module. Sage has a Cython backend implementation of graph theory and it also makes use of NetworkX [4]. As of Sage 4.3.3, Sage is still shipped with NetworkX 0.33, whereas the latest release is NetworkX 1.0.1. Depending on your point of view, upgrading the NetworkX spkg (cf. ticket #7608 [5]) to version 1.0.1 is desirable for an FSA implementation and indeed for the overall graph theory module of Sage. [1] http://groups.google.com/group/sage-devel/browse_thread/thread/5ee315acc8bdc2d1 [2] http://osteele.com/software/python/fsa/ [3] http://www.gap-system.org/Packages/automata.html [4] http://networkx.lanl.gov [5] http://trac.sagemath.org/sage_trac/ticket/7608 -- Regards Minh Van Nguyen -- 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
