Does there exist a CAS for formal language theory? I need support for: grammars, equivalence classes, finite sets, and some smallest grammar approximation functions.
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.