Does there exist a CAS for formal language theory?
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.