Stuff

I want to manipulate Free-Context Grammars
A grammar is a set of symbols, terminals and productions

A sample grammar would be
G1 generates (a^n)(b^n) = words like aabb aaabbb aaaaaaabbbbbbb

G = ({S},{a,b},P1,S)
P1 = {S-> aSb | £}