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

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 http://www.grailplus.org. [1] http://www.ioreader.com/2011/03/15/pattern-matching-in-grail http://www.ioreader.com/2011/03/15/pattern-matching-in-grail