TIPOS DE

GRAMÁTICAS
 GRAMÁTICA

La gramática es el estudio de las reglas y principios que

gobiernan el uso de las lenguas y la organización de las
palabras dentro de unas oraciones y otro tipo
constituyentes sintácticos.
 GRAMÁTICA GENERATIVA

Una gramática generativa proporciona un conjunto de reglas o principios

que predicen correctamente las combinaciones que aparecen en oraciones
gramaticalmente correctas para una determinada lengua.

La gramática generativa postula que los mecanismos básicos son comunes

en todas las lenguas del mundo, y estas se diferencian solo por su
fonología y su lexicón así como su “parámetro” en la sintaxis
EJEMPLO:

• El fortísimo viento derribó los árboles

• El viento, que era fortísimo, derribó los árboles.

• El viento era fortísimo, derribó los árboles.

 GRAMÁTICA FORMAL

Una gramática formal es una estructura matemática con un

conjunto de reglas de formación que definen las cadenas de
caracteres admisibles en un determinado lenguaje formal
GRAMÁTICA TIPO 0: (SIN RESTRICCIONES)

Incluye todas las gramáticas formales. Son las gramáticas más generales, no se pone
ninguna condición a sus reglas. Generan todos los lenguajes que pueden ser reconocidos
por una maquina de Turing.
 GRAMÁTICA TIPO 1: (DEPENDIENTE DE
CONTEXTO)

La parte derecha de todas las reglas debe

obtenerse por sustitución de exactamente un
símbolo no terminal de la palabra que aparece a
la izquierda de dicha regla .
EJEMPLO:
G = ({S, B, C}, {a, b, b}, S,P), donde P es:
S ::= aSBc | aBC
bB ::= bb
bC ::= bc
CB ::= BC
Cc ::= cc
aB ::= ab
S -> aBC -> aaBCBc -> aabCBc -> aabBCc -> aabbCc -> aabbcc
 GRAMÁTICA TIPO 2: (INDEPENDIENTE DE
CONTEXTO)

La parte izquierda de todas las reglas debe ser

exactamente un único no terminal y no hay ninguna
regla compresora salvo quizá S:= λ, siendo S el
axioma.
EJEMPLO:

G = ({T,F,E}, {a, +, *,(,)}, S,P), donde P es:

S ::= E
E ::= E + T
E ::= T
E ::= T * F
T ::= F
F ::= (E)
F ::= a
S -> E -> E+T -> T+T -> F+T -> F+F -> a+F -> a+a
 GRAMÁTICA TIPO 3: (GRAMÁTICAS
REGULARES)

La parte izquierda de todas las reglas debe ser

exactamente un único no terminal y la parte derecha o
es un único símbolo terminal o bien es un terminal
seguido de un no terminal o al revés.
EJEMPLO:

G = ({A,B,}, {i, n, t}, S,P), donde P es:

• S ::= iA
• A ::= nB
• B ::= t

• S -> iA -> inB -> int