Alon Levy's package, functionality for finite
automata:

http://library.wolfram.com/infocenter/Demos/75/

Editor de autómatas:

http://demonstrations.wolfram.com/AFiniteAutomatonEditor/

CFG:

http://library.wolfram.com/infocenter/MathSource/3128/

Context-Free Grammars

http://library.wolfram.com/infocenter/MathSource/1808/

Para instalar un paquete haga un nuevo folder llamado MyPackages en el directorio AddOns/ExtraPackages de la carpeta que contiene a Mathematica. Otra manera es instalar en File/Install.