1
$\begingroup$

I need support for: grammars, equivalence classes, finite sets, and some smallest grammar approximation functions.

$\endgroup$
  • $\begingroup$ Welcome to cstheory, a Q&A site for research-level questions in theoretical computer science (TCS). Your question does not appear to be a research-level question in TCS. Please see the FAQ for more information on what is meant by this and suggestions for sites that might welcome your question. Finally, if your question is closed for being out of scope, and you believe you can edit the question to make it a research-level question, please feel free to do so. Closing is not permanent and questions can be reopened, check the FAQ for more information. $\endgroup$ – Kaveh Apr 13 '12 at 21:34
  • 1
    $\begingroup$ @Kaveh: I don't see why this question should be considered out of scope. $\endgroup$ – Tara B Apr 13 '12 at 22:34
  • 1
    $\begingroup$ @Tara, I see that you are new to cstheory. Typically asking for tools/software/packages is not in the scope of cstheory. I also don't see how this is a research-level question in theoretical computer science. $\endgroup$ – Kaveh Apr 14 '12 at 4:34
  • 1
    $\begingroup$ @Kaveh: Yes, I am new here. But I've looked at the faq and didn't see anything there that indicated that questions about tools would not be welcome. I had the impression that this site was supposed to something like mathoverflow for TCS. On mathoverflow, questions about tools are generally welcome. My expectation would be that Dan would be much more likely to get a good answer here than at Computer Science, since the people who use such software are probably mainly researchers in TCS. But I might be wrong. $\endgroup$ – Tara B Apr 14 '12 at 12:01
  • 1
    $\begingroup$ @Tara, the FAQ is only the most important items, part of the job of moderators is to remind new users about the site's policies. Asking for software recomendations are typically not on-topic, and in this case there is nothing that makes it a research level or research related. (I might be wrong but if I remember correctly that was the opinion of the community. I will add a link to the relevant discussion when I find it.) $\endgroup$ – Kaveh Apr 15 '12 at 1:30
2
$\begingroup$

I am vaguely aware that it's possible to do some computations with formal languages in GAP, but I don't know the details, sorry. There is a package "Automata", but I'm not sure if there's anything for grammars.

$\endgroup$
  • $\begingroup$ Here is a more comprehensive page for the Automata package for the GAP system for Computational Discrete Algebra. As Tara B said, there seems to be nothing already packaged in GAP for grammars. But a search for "formal language software" turns up JFlap which looks interesting, though I know nothing about it. $\endgroup$ – David Lewis Apr 14 '12 at 0:04
  • $\begingroup$ @Tara B, I was told you may be able to answer this question: cstheory.stackexchange.com/questions/17326/name-this-digraph $\endgroup$ – Chad Brewbaker Apr 24 '13 at 20:12

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.