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