Gramticas Libres del Contexto

Qu es una gramtica?
Modelo de estructuras recursivas.
Definicin de reglas para representar las expresiones
de los lenguajes.
Especificacin rigurosa y explicita de estructura de un
lenguaje.

Caractersticas
Ausencia de ambigedad, por tanto bien definidas.

Rigurosas (claridad, explicitud).

Facilitan evaluacin: comprobar, conclusiones, derivar.

Hacer predicciones: generalizacin.
Desarrollo de aplicaciones.

TIPOS

Existen varios tipos de Gramticas, las que mas se usan en computacin

son las gramticas generativas, definidas por Noam Chomsky.

Las Gramticas Generativas constan de la siguiente tupla de elementos:

G = (V, T, P, S)
Donde:
V: conjunto finito de Variables (smbolos no terminales/categoras sintcticas).
T: conjunto finito de smbolos Terminales (alfabeto terminal o alfabeto de
smbolos).
P: conjunto finito de Producciones o Reglas (definicin recursiva del lenguaje).
S: smbolo inicial.

P: conjunto finito de Producciones o

Reglas
Cada regla o produccin consta de:

Cabeza: variable.
: smbolo de produccin.
Cuerpo: cadena de 0 o mas smbolos terminales y/o variables.

Es decir una regla tiene la forma: Cabeza

ejemplo: A
aBA donde A,B en V, a en T

Cuerpo, por ejemplo: Por

Las gramticas generativas son modelos matemticos finitos que nos

permiten generar las cadenas o palabras de un lenguaje finito o infinito.
Segn la Jerarqua de Chomsky: las gramticas generativas se clasifican en
4 tipos. Esta clasificacin es inclusiva, es decir: tipo 3 tipo 2 tipo 1
tipo 0