For those interested in symbolically manipulating [1] state machines (NFAs), pushdown automata (PDAs), and context-free grammars (CFGs), take a look at http://www.grailplus.org.

[1] http://www.ioreader.com/2011/03/15/pattern-matching-in-grail