También existe una gramática sensible al contexto para formula_2, pero es mucho más compleja que la anterior