FormalGrammars-0.3.0.0: (Context-free) grammars in formal language theory