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