INSTITUTO POLITECNICO

NACIONAL
ESCUELA SUPERIOR DE
CMPUTO

Tarea:
Gramticas Libres de Contexto

NOMBRE: Aguirre Cruz Eder Jonathan

MATERIA: Teora Computacional
PROFESOR: Luz Mara Snchez Garca
GRUPO: 2CM9
FECHA DE ENTREGA: 20 05- 2015

INTRODUCCIN
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.
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)
Cada regla o produccin consta de:
Cabeza: variable.

: smbolo de produccin.
Cuerpo: cadena de 0 o ms smbolos terminales y/o variables.
Es decir una regla tiene la forma: Cabeza
Aa
aBA donde A,B en V, a en T
S: smbolo inicial
Nota: Se asume que de V T=

Cuerpo, por ejemplo: Por ejemplo:

Gramticas Regulares (GR)

Son equivalen a los AF pues tratan sobre el mismo tipo de lenguajes: los
lenguajes regulares. Las reglas de las GR tienen en la cabeza solo un variable y
en su cuerpo o un smbolo Terminal o un smbolo Terminal seguido de una
Variable, por tanto son de la forma: Aa aB y Aa a, donde A,B en V y a en T A partir
de un AF que reconoce un lenguaje regular se puede obtener una GR que lo
genere. Por ejemplo para el L = (0 + 1)*10, el siguiente AFND lo reconoce:

Gramticas Libres de Contexto

Las GIC (Gramticas Independientes del Contexto) o GLC (Gramticas Libres del
Contexto) son llamadas tambin Gramtica en la Forma de Backus-Naur (BNF)
(usado para describir lenguajes de programacin). Las GIC se usan para inferir si
ciertas cadenas estn en el lenguaje expresado por la gramtica. Hay 2 tipos de
inferencia:

Inferencia recursiva (cuerpo a cabeza/de cadenas a variables)

Derivacin (cabeza a cuerpo, expansin de producciones)

CONTENIDO
1. Qu es una gramtica libre de contexto?
El anlisis gramatical tiene como tarea, determinar la estructura de un programa,
por esta razn es conocido tambin como anlisis sintctico. Esta estructura o
tambin conocida como sintaxis de un lenguaje de programacin es regulado
mediante unas reglas gramaticales inmersas dentro de una gramtica libre de
contexto.
La estructura bsica empleada en estas gramticas es por lo general alguna clase
de rbol, conocida como rbol del anlisis gramatical o rbol sintctico. La gramtica
libre de contexto hace el uso de convenciones para nombrar expresiones regulares,
con el uso de operaciones muy similares entre s, teniendo en cuenta que las reglas

libres de contexto son altamente recursivas. Los algoritmos empleados para

reconocer estas estructuras tambin difieren mucho de los algoritmos de anlisis
lxico, debido a la recursividad inmersos en estos algoritmos.
Las gramticas de tipo 2 o gramticas independientes del contexto, son las que
generan los lenguajes libres o independientes del contexto.

Capturan la nocin de constituyente sintctico y la nocin de orden.

Herramienta formal que puede ser vista tanto desde un punto de vista
generador como estructurador.
Propiedades computacionales interesantes: se puede reconocer en tiempo
polinmico.

2. Cul es su notacin formal?

Como toda gramtica se definen mediante una cuadrupla G = (N, T, P, S), siendo

N es un conjunto finito de smbolos no terminales

T es un conjunto finito de smbolos terminales N T =
P es un conjunto finito de producciones
S es el smbolo distinguido o axioma S (N T)

En una gramtica libre del contexto, cada produccin de P tiene la forma A N

{S} A (N T)* - {} Es decir, que en el lado izquierdo de una produccin
pueden aparecer el smbolo distinguido o un smbolo no terminal y en el lado
derecho de una produccin cualquier cadena de smbolos terminales y/o no
terminales de longitud mayor o igual que 1. La gramtica puede contener tambin
la produccin S si el lenguaje que se quiere generar contiene la cadena vaca.

3. Cul es la diferencia entre una gramtica regular y una

gramtica libre de contexto?
Gramticas regulares y libres de contexto difieren en el tipo de reglas que permiten.
Las reglas de gramticas libres de contexto permiten a posibles sentencias como
combinaciones de palabras individuales no relacionados (que Chomsky llama "
terminales) y grupos de palabras (frases o lo que Chomsky llama " no- terminales
"). Gramticas libres de contexto permiten las palabras individuales y frases en
cualquier orden y permiten oraciones con cualquier nmero de palabras y frases
individuales. Gramticas regulares, por otro lado, permiten slo palabras
individuales junto con una sola frase por frase. Adems, las frases en las gramticas

regulares deben aparecer en la misma posicin en cada oracin o frase, generada

por la gramtica.
Gramticas libres de contexto se utilizan en el procesamiento del lenguaje natural
para generar y analizar datos en el idioma, ya que pueden capturar muchas de las
caractersticas que definen el lenguaje humano, como su potencial para estructuras
infinitamente recursivas. Gramticas regulares, que generan slo un subconjunto
de las expresiones de gramticas libres de contexto, tambin se utilizan para el
procesamiento de lenguaje natural. Sin embargo, slo se pueden reproducir o
procesar expresiones lingsticas cortas y gramaticalmente simples, como las
expresiones cortas que se encuentran tpicamente en el dilogo informal.

4. Cul es la forma de las reglas de produccin de una

gramtica libre de contexto?
En una gramtica libre del contexto, cada produccin de P tiene la forma

A N {S}
A
(N T)* - {}

Donde A es un smbolo no terminal y es una cadena de terminales y/o no

terminales. El trmino libre de contexto se refiere al hecho de que el no terminal A
puede siempre ser sustituido por sin tener en cuenta si hay una gramtica libre
de contexto que lo genera. Es decir, que en el lado izquierdo de una produccin
pueden aparecer el smbolo distinguido o un smbolo no terminal y en el lado
derecho de una produccin cualquier cadena de smbolos terminales y/o no
terminales de longitud mayor o igual que 1. La gramtica puede contener tambin
la produccin S si el lenguaje que se quiere generar contiene la cadena vaca.

5. De un ejemplo de gramtica libre de contexto que incluye:

a) Lenguaje aceptado
L3 = {hn gj e2n d3i / i, j, n 0 }

b) Reglas de produccin
G3 = ({A, B, C}, {h, g, d, e}, P3, S3), y P3 contiene las producciones
S3
S3 AC
S3 A
S3 C
A hAee
A hee

AB
B gB
Bg
C dddC
C ddd

c) Cadenas aceptadas por la gramtica

hhhgeeddd
gddd
hhheeeeddd
gggggggg
fddddd
hhhheeee

CONCLUSIONES
Al finalizar esta tarea de investigacin, pude tener y comprender un poco acerca de
las gramticas y los lenguajes libres de contexto, conociendo como es que se
construye una gramtica libre de contexto a partir de sus reglas de produccin, y a
partir de ah poder determinar que cadenas son las validas que nos aceptara nuestro
autmata de pila. Si bien, con esta investigacin no logr adquirir todos los
conocimientos relacionados a las gramticas libres de contexto, ya que la
investigacin es solo un apoyo para poder iniciar con esta unidad, pero si pude
adentrarme un poco con los conocimientos y definiciones bsicas que nos
necesarias para poder empezar a trabajar con este tipo de gramticas y lenguajes.

BIBLIOGRAFA
[1] abelrod12, (2013), Gramtica de contexto libre,

http://es.slideshare.net/abelrod12/gramtica-de1297

contexto-libre-abel-rodriguez-08-

[2] Hilda Contreras, (S/F), Gramticas Independientes del Contexto (GIC),

http://webdelprofesor.ula.ve/ingenieria/hyelitza/materias/preteoria/apuntes/tema4.p
df

[3] S/A, (2012), Cul es la diferencia entre la gramtica regular y la de contexto

libre, http://www.ehowenespanol.com/diferencia-gramatica-regular-contexto-libreinfo_365100/

[4] John E. Hopcroft, (1993), Introduccion a la teora de autmatas, lenguajes y

computacin, http://es.slideshare.net/ivansitosprisco/lenguajes-libres-de-contextoy-gramatica-libres-de-contexto

[5] Compiladores, Principios, tcnicas y herramientas, Alfred V. Aho, Prentice Hall

Mexico, 2008

[6] (S/A), (2005), Gramaticas Libres del contexto,

http://www.exa.unicen.edu.ar/catedras/ccomp1/Apunte5.pdf