playing with formal grammars