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