Python framework for formal grammars
