Tesis

Pontífice Universidad Católica del Ecuador
Sede Esmeraldas
Nombre: Carlos Vivas Pincay
Fecha: Esmeraldas, 6 de Junio del 2011
Carrera: Ing. Sistema Y Computación
Objetivos:
Analizar elconcepto de gramática Independiente de contexto, mediante la lectura comprensiva y analítica para ampliar mis conocimientos a nivel Universitario.
Gramática Independiente de Contexto
Definición
Son lasque generan los lenguajes independientes del contexto. Permiten describir la mayoría de los lenguajes de programación, de hecho, la síntaxis de la mayoría de lenguajes de programación está definidamediante gramáticas libres de contexto. Por otro lado, estas gramáticas son suficientemente simples como para permitir el diseño de eficientes algoritmos de análisis sintáctico que, para una cadena decaracteres dada determinen como puede ser generada desde la gramática.
Definición Formal
Como toda gramática se definen mediante una cuádrupla
G = (N, T, P, S), siendo
* N es un conjunto finitode símbolos no terminales
* T es un conjunto finito de símbolos terminales N ∩ T = ∅
* P es un conjunto finito de producciones
* S es el símbolo distinguido o axioma S ∉ (N ∪ T)Para qué sirve
Para describir lenguajes de Programación. Se usan para inferir si ciertas cadenas están en el lenguaje expresado por la gramática. Hay 2 tipos de inferencia:
• Inferencia recursiva(cuerpo a cabeza/de cadenas a variables)
• Derivación (cabeza a cuerpo, expansión de producciones)
Reglas
En sus reglas aparece a la izquierda un único símbolo no terminal, y a la derechacualquier combinación de símbolos terminales y no terminales, o la palabra vacía.

Ejemplos:
Hacer una GIC que genere una frase cuya letra inicial de cada palabra sea mayúscula.
Frase -> Frase Exp pal |pal
Exp -> “ “
Pal -> may | pal min
min -> a | b | c | d | … | z
may -> A | B | C | D | … | Z
Conclusión:
La gramática independiente de contexto, son lenguajes formales que nos permiten...