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