AUTOMATA PUSH-DOWN

7.3 Gramticas de Contextos Libres

Introduccin Las Gramticas de Contextos Libres permiten describir la mayora de los lenguajes de programacin, de echo, la sintaxis de la mayora de lenguajes de programacin esta definida mediante gramticas de contextos libres.

En informtica, una gramtica de contexto libre, es una gramtica formal en la que cada regla de produccin es de la forma:
Smbolo NO Terminal Es una cadena de Terminales y/o no terminales

Una Gramtica Independiente de contexto esta compuesta por 4 elementos:

1) T: Smbolos Terminales (elementos que no generan nada) 2) V: No Terminales (elementos del lado izquierdo de una produccin, antes de la flecha)

3) P: Conjunto de Producciones (sentencias que se escriben en la gramtica). Cada regla o produccin consta de: * Cabeza : Variable * : Smbolo de Produccin * Cuerpo : Cadena de 0 o mas smbolos terminales o variables

Es decir una regla tiene la forma: Cabeza

por ejemplo: Aa BA

Cuerpo

4) S: Smbolo Inicial (primer elemento de la gramtica)

Notacin:

= (, , , )
V: No Terminales T: Smbolos Terminales P: Conjunto de Producciones S: Smbolo Inicial

Ejemplo
E E+E E E*E E (E) E id Formalmente esta gramtica se expresa como

= (, , , ) = ( , +,, , , , , )

Convenciones
1. Las letras maysculas A,B,C,D,E y S denotan variables: y S es el smbolo de inicio. 2. Las letras minsculas a, b, c, d, e, dgitos, y cadenas en letras negrillas son terminales 3. Las letras maysculas X,Y y Z denotan smbolos que pueden ser terminales o variables 4. Las letras minsculas u, v, w, x, y, z denotan cadenas terminales 5. Las letras griegas , , denotan cadenas de variables terminales

 1 , 2, . ,

1 |2| |

E E E E

E+E E*E (E) id

+ | |(|)

int a ;
Smbolo NO terminal Es una cadena de Terminales o no terminales

int a ;
1) < > < > < > ; 2) < >

3) < >

int a ; double b ;
1) < > < > < > ; 2) < > |

3) < >

Bibliografa:
http://luzem.dyndns.org/tag/gram%C3%A1ticaslibres-de-contexto/
http://www.exa.unicen.edu.ar/catedras/ccomp1/Apunt e5.pdf http://es.scribd.com/doc/62111180/GramaticasLibres-de-Contexto

http://ccc.inaoep.mx/~emorales/Cursos/Automatas/G ramsLibresContexto.pdf

Gracias por su atencin