UNIVERSIDAD

AUTNOMA DE
GUERRERO

UNIDAD ACADMICA DE INGENIERA

MATERIA: COMPILADORES E INTERPRETES

EJERCICIOS DEL VIDEO:

GRAMTICAS LIBRES DE CONTEXTO
PROFESOR: RAFAEL GARCA MENCA.
ALUMNA: KARINA YAMEL MENDOZA LPEZ.

Chilpancing
o, Gro a 5 de abril del 2016

GRAMTICAS
Gramtica: Expresa la competencia lingstica, modela el comportamiento
lingstico en el proceso de comunicacin (comprensin y generacin de la
lengua).
Especificacin rigurosa y explicita de la estructura de un lenguaje (No ambigua,
predictiva, aplicativa).

Gramticas Generativas: Una gramtica generativa es una cudrupla (V, T, P, S)

en la que:

V es un conjunto de variables o smbolos no terminales. Sus

elementos se representan con letras maysculas.
T es el alfabeto, conjunto de smbolos terminales. Sus elementos
se suelen representar con letras minsculas.
P es un conjunto de pares (,), llamados dos reglas de
produccin, donde , en (V U T)* y a contiene, al menos un
smbolo de V. El par (, ) se suele representar como .
S es el elemento de V, llamado smbolo de partida o inicial.

GRAMTICA LIBRE DE CONTEXTO

Una gramtica libre de contexto es una Gramtica Generativa G= (V, T, S, P)
Donde el conjunto P de producciones tiene la forma:
A->
DONDE: A en V y en (V U T)*
El lenguaje generado L (G) es libre de contexto.

EJEMPLO 1.

RBOL DE DERIVACIN

TABLA DE DERIVACIN
Se deriva la cadena a partir del signo de
arranque es el smbolo S. Vemos la
produccin y el resultado de la sustitucin.

En el rbol vemos cmo se hacen las

aplicaciones de cada una de las reglas de
produccin.

ELEMPLO 2.

Vemos la tabla de derivacin hasta

LENGUAJES BINARIOS
obtener laPALNDROMES
cadena con 0000011.
EJEMPLO 3.

RBOL DE DERIVACIN

TABLA DE DERIVACIN

RBOL DE DERIVACIN
EJEMPLO 4.

RBOL DE DERIVACIN POR LA IZQUIERDA

SIMPLIFICAR SIN
VARIABLES NULIFICABLES

Aqu eliminamos las

producciones Landa
()
o
las
producciones nulas.

Identifica como
variables: A, D, C

nulificables

las

Es el resultado de las producciones

despus de eliminar las variables.

PRODUCCIN UNITARIA

Se remueven las producciones unitarias,

e identifica las variables que las
contienen, por ejemplo; desde A, se
puede ir a la letra B, o a la letra C.

Aparecen las derivaciones de las letra C y

D, sobre las producciones y ya no estn
las producciones unitarias.

SMBOLOS INTILES:
Smbolos tiles: Es toda aquella variable (V) o terminal (T) que son generadoras
de termnales y alcanzables desde S; son todos los smbolos X; se puede llagar
desde S hasta ese smbolo con mltiples derivaciones. ste smbolo es X es capaz
de generar slo cadenas determnales, si se cumplen stas condiciones son
smbolos tiles.
Si se deja de cumplir al menos una de las condiciones sera un Smbolo Intil.

Algoritmo: variable derivable

En estas 3 producciones,
primero el algoritmo
detecta las variables o las
cabezas de produccin
que slo generan

Se aumenta el conjunto y cuando es igual, se llaga a la

parada y slo tiene las variables A, S y el termina (a) y se
filtran las producciones de la gramtica original para
eliminar las variables que no son derivables como lo es la

Producciones, se sube
desde las hojas del rbol
hasta los padres que

Se detectan los Smbolos que no son tiles,

aplicando los dos algoritmos al mismo tiempo,
queda la derivacin que se encuentra abajo.

FORMAS NORMALES
Son algoritmos para transformar cualquier gramtica a una gramtica de forma
normal y con ellas se generan rboles binarios, en la (FNC) que al momento de
derivar 1 variable, se generan 2 variables y todo el tiempo se van a estar
dividiendo en 2; en la (FNG) siempre que se deriva se agrega un terminal en
cada derivacin.

FORMA NORMAL DE CHOMSKY (FNC).

A, B y C en V y a
en T

Las producciones son 2 variables y puede tener un

solo terminal.

TEOREMA: Cualquier GLC sin -producciones puede ser generada a una

gramtica donde las producciones son de la forma A BC o A a. Hay dos
operaciones bsicas:

Eliminar terminales en producciones que no sean A a.

Eliminar variables producciones con un cuerpo de variables de longitud
mayor de 2.

FORMA NORMAL DE GREIBACH (FNG).

Teorema: todo LLC sin producciones pueden ser generados por una GCL en
donde: las producciones son de la forma:

A a , a en T y en V*
FNG genera un smbolo terminal por cada forma sentencial (por cada derivacin)
y entonces una cadena de longitud n tiene exactamente n pasos de derivacin.
Para poder aplicar el algoritmo tiene que recibir una condicin de la gramtica en
la forma normal de CHOMSKY, para despus poder aplicarla forma normal de
GREIBACH.

ALGORITMO DE PARSING
Es un procedimiento que prueba las diferentes maneras de combinar las reglas
de una gramtica para encontrar una combinacin que genere un rbol que
represente la estructura de una cadena del lenguaje, se preparan las gramticas
para ser recibidas por el algoritmo de PARSING. Recorre las gramticas anteriores
para generar rboles de derivacin, reconocimiento va una gramtica.