Gramaticas Sensíveis ao Contexto, Gramaticas Dependentes de Contexto ou Tipo 1

Se as regras de substituição forem impostas à restrição de que nenhuma substituição

possa reduzir o comprimento da forma sentencial a qual a substituição é aplicada, cria-se
uma classe de gramáticas ditas sensíveis ao contexto. As gramáticas que obedecem a
estas restrições pertencem, na hierarquia de Chomsky, ao conjunto das Gramáticas
Sensíveis ao Contexto (GSC) ou do Tipo 1.

Para as GSC's (Gramaticas Sensíveis ao Contexto), as produções são todas da forma:

α → β, com |α| <= |β| (produções não decrescentes) onde α , β ∈ (Vn U Vt)+ ou
β Α γ Þ β α γ , onde A ∈ Vn, α ∈ (Vn U Vt)+, β , γ ∈ (Vn U Vt)*

Obs.: Na segunda definição percebemos o sentido de contexto, onde A, no contexto de β

e γ , é substituído por α .
Exemplo:
G = ({S, B, C}, {a, b, c}, P, S)
P : 1. S Þ aSBC
2. S Þ aBC
3. CB Þ BC
4. aB Þ ab
5. bB Þ bb
6. bC Þ bc
7. cC Þ cc

Linguagens LSC

As linguagens geradas pelas GSC's ou Tipo 1 são chamadas de Linguagens Sensíveis ao

Contexto (LSC) ou Linguagens do Tipo 1.
Resultado: Toda gramática do Tipo 1 é também do tipo 0.
Decorrência: Toda LSC (Linguagem Sensível ao Contexto) é também uma LEF* (mas
nem toda LEF é uma LSC.

*LEF: Linguagens com Estrutura de Frase, ou linguagem do Tipo 0.

São Linguagens geradas pelas Gramaticas de Frase ou do tipo 0.

Fontes: http://inf.unisul.br/~ines/cmp/sce/tipo1.html
http://wiki.icmc.usp.br/images/d/d0/Gramaticas.pdf