UNIDAD DIDCTICA 2 LENGUAJES INDEPENDIENTES DEL CONTEXTO Introduccin Los lenguajes independientes del contexto que tambien se conocen

con el nombre de gramaticas de contexto libre son un mtodo recursivo sencillo de especificacin de reglas gramaticales con las que se pueden generar cadenas de un lenguaje. Es factible producir de esta manera todos los lenguajes regulares, ademas de que existen ejemplos sencillos de gramaticas de contexto libre que generan lenguajes no regulares. Las reglas gramaticales de este tipo permiten que la sintaxis tenga variedad y refinamientos mayores que los realizados con lenguajes regulares, en gran medida sirven para especificar la sintaxis de lenguajes de alto nivel y otros lenguajes formales. Objetivo General Conocer los modelos de computacin que corresponden a los lenguajes independientes del contexto y su aplicacin. Objetivos Especificos Generalizar los conceptos de autmatas finitos y gramaticas regulares. Reconocer el potencial de procesamiento del lenguaje del automata con los autmatas de pila. LENGUAJES LIBRES DE CONTEXTO Gramtica Libre de Contexto Una gramtica libre de contexto enlingstica e informtica es una gramtica formal en la que cada regla de produccin es de la forma: V --> w Donde V es un smbolo no terminal y w es una cadena de terminales y/o no terminales. El trmino libre de contexto se refiere al hecho de que el no terminal V puede siempre ser sustituido por w sin tener en cuenta el contexto en el que ocurra. Un lenguaje formal es libre de contexto si hay una gramtica libre de contexto que lo genera. Las gramticas libres de contexto permiten describir la mayora de los lenguajes de programacin , de hecho, la sintaxis de la mayora de lenguajes de programacin est definida mediante gramticas libres de contexto. Por otro lado, estas gramticas son suficientemente simples como para permitir el diseo de eficientes algoritmos de anlisis sintctico que, para una cadena de caracteres dada determinen como puede ser generada

desde la gramtica. Los analizadores LL y LR tratan restringidos subconjuntos de gramticas libres de contexto. La notacin ms frecuentemente utilizada para expresar gramticas libres de contexto es la forma Backus-Naur . As como cualquier gramtica formal , una gramtica libre de contexto puede ser definida mediante la 4-tupla: G = (Vt,Vn,P,S) donde

Vtes un conjunto finito de terminales Vnes un conjunto finito de no terminales P es un conjunto finito de producciones S ? Vn el denominado Smbolo Inicial los elementos de P son de la forma: