Una gramática sensible al contexto es una gramática formal que se define como una cuádrupla "G" = ("N", Σ, "P", "S") en donde: