Domnguez Snchez Juan Jess Ordoez Lozada Ivn Matas Quezada Arguijo Diego Antonio

Introduccin

La definicin de las gramticas formales como sistemas generativos se debe a Noam Chomsky, que las introdujo como instrumentos para modelizar la estructura gramatical de las lenguas.

Jerarqua de Chomsky
En 1959 Noam Chomsky clasifico las gramticas en cuatro familias.
Las gramticas no restringidas Las gramticas sensibles al contexto Las gramticas independientes del contexto Las gramticas regulares

Los lenguajes que resultan de dichas gramticas tambin se identifican con lenguajes de tipo cero, uno, dos y tres. A esta jerarqua de lenguaje se le conoce como la Jerarqua de Chomsky.

Tipos de Gramticas

Tipo 0 o Gramticas no restringidas

Tipo 1 o Gramticas sensibles al contexto

Tipo 2 o Gramticas Incontextuales

Tipo 3 o Gramticas Regulares

Gramticas Incontextuales

Uno de los modelos definidos por Chomsky fue el de las gramticas incontextuales, llamadas en ingles context-free grammars. Su uso en informtica estuvo motivado por la necesidad de construir compiladores eficientes para lenguajes de programacin, y en este mbito su aparicin va ligada a la del lenguaje ALGOL, fruto del trabajo de John Backus, Peter Naur y Alan Perlis.

Gramticas Incontextuales

Definicin: Una gramtica incontextual es una estructura de la forma: G={V, , P, S}

V es un alfabeto, cuyos smbolos se llaman variables. es otro alfabeto, disjunto del anterior, cuyos smbolos se llaman terminales. P es el conjunto de producciones que definiremos inmediatamente. S V se llama variable inicial o de salida.

Gramticas Incontextuales

El conjunto de producciones es un subconjunto finito de pares V x (V), que escribiremos en la forma A, donde AV y (V). Se suele abreviar la escritura de las producciones agrupando es una misma lnea todas las que comparten la misma variable en el lado izquierdo, de manera que esta variable se escribe una nica vez, seguida de la flecha. A continuacin se escriben todas las palabras de (V) que aparecen a la derecha de las producciones consideradas, separadas entre si por una barra vertical.

Gramticas Incontextuales

Ejemplo:
Los palindromes son palabras que se leen igual si se leen en cualquier direccin. Para un vocabulario de 0s y 1s: {, 0, 1, 00, 11, 010, 000, 101, 111, ...} ( es la cadena vaca) G= (V, , P, S) V={X} ={0,1} P = { X0X | X1X | X11 }
P1. X P2. X 0 P3. X 1 P4. X 0X0 P5. X 1X1

Gramticas Regulares
Una gramtica regular es una gramtica formal (V, , P, S) que puede ser clasificada como regular izquierda o regular derecha. Las gramticas regulares slo pueden generar a los lenguajes regulares de manera similar a los autmatas finitos y las expresiones regulares. Dos gramticas regulares que generan el mismo lenguaje regular se denominan equivalentes. Toda gramtica regular es una gramtica libre de contexto.

Gramticas Regulares
Una gramtica G= (V, , P, S) es lineal por la izquierda cuando las producciones son de una de las dos formas siguientes: X Yw Xw Donde X, Y V y w

La denominacin de lineales por la izquierda se debe a que las palabras se van generando hacia la izquierda, es decir, empezando por sufijos.

Gramticas Regulares
Una gramtica G= (V, , P, S) es lineal por la derecha cuando las producciones son de una de las dos formas siguientes: X wY Xw Donde X, Y V y w

La denominacin de lineales por la izquierda se debe a que las palabras se van generando hacia la derecha, es decir, empezando por prefijos.

Gramticas Regulares
Ejemplo: El lenguaje de todas las cadenas de 1s y 0s que terminan con dos unos {11, 011, 111, 0011, 0111, 1011, 1111, ...}*: G= (V, , P, S) V={X} ={0,1} P = { X0X , X1X , X11 } S={X}

Gramticas Regulares
Ejemplo: El lenguaje de todas las cadenas de 1s y 0s que terminan con 100 {100,0100, 1100, 00100, 011000, 11100,110100 ,100100,101100,...}*: G= (V, , P, S) V={X} ={0,1} S={X} P={ X0X X1X X100 }