On Mar 6, 2:57 am, Minh Nguyen <nguyenmi...@gmail.com> wrote: > Hi Uli > > On Sat, Mar 6, 2010 at 5:33 AM, kuli <strangequ...@gmx.at> wrote: > > <SNIP> > > > Secondly, I want to ask you, if it would make sense (I think it makes) > > to develop a computational logic module for sage math. I'm thinking of > > tools for logic > > > -> CNF/DNF convertions > > -> boolean truth tables (mandatory) > > -> support for predicate logic > > See the logic module > > SAGE_ROOT/devel/sage-main/sage/logic/ > > For an incomplete Quine-McCluskey implementation, see ticket #5910: > > http://trac.sagemath.org/sage_trac/ticket/5910 > > > -> support for term rewrite systems
some of this is in GAP (Knuth-Bendix procedure, etc), as a package kbmag. > > -> support for automatas (turing machines, finite automatas) some of automata stuff in again in GAP. It's not hard to write an interface for these, imho... > > -> support for grammar and regular expressions hmm, isn't it already available in Python in one form or another? E.g regular expressions: http://docs.python.org/library/re.html Best, Dima > > I think such features are yet to be implemented. I would very much > love to help out. Can you lay out a plan for such a task at > implementing these features? Can you give me papers and references > that list relevant algorithms? Would you be willing to help out with > the implementation of these and perform code review? > > -- > 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
