> Welcome to the community! We look forward to your contributions. > > I'm not sure exactly what thoughts or advice you are looking for. Are > you proposing a change to Sage? Are you asking about other efforts to > do similar things in python or Sage?
Jason, thanks for fast reply. Our immediate goal is to provide our research in automata analysis techniques with handy instrumental support. Sage seems like a promising foundation, due to its consistency and strong support of combinatorial constructs (not to mention true FOSS nature and charming Python). The techniques mentioned are mostly based on graphs, so advice is needed in how to build upon Sage graphs package and enrich it, and what are development trends/plans in the area of formal languages support. --Pavel. --~--~---------~--~----~------------~-------~--~----~ To post to this group, send email to sage-devel@googlegroups.com To unsubscribe from this group, send email to sage-devel-unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URLs: http://www.sagemath.org -~----------~----~----~----~------~----~------~--~---
