LENGUAJES LIBRES DE CONTEXTO Y GRAMATICA LIBRES DE CONTEXTO

13,710 views

Published on

TEORIA DE LA COMPUTACION UNIDAD 3

Published in: Education
0 Comments
0 Likes
Statistics
Notes
  • Be the first to comment

  • Be the first to like this

No Downloads
Views
Total views
13,710
On SlideShare
0
From Embeds
0
Number of Embeds
1,232
Actions
Shares
0
Downloads
240
Comments
0
Likes
0
Embeds 0
No embeds

No notes for slide

LENGUAJES LIBRES DE CONTEXTO Y GRAMATICA LIBRES DE CONTEXTO

  1. 1. INSTITUTO TECNOLOGICO SUPERIOR<br />DE SAN MARTIN TEXMELUCAN<br />TEORIA DE LA COMPUTACION<br />LENGUAJES LIBRES DE CONTEXTO Y GRAMATICA LIBRES DE CONTEXTO<br /> CATEDRATICO<br />YESENIA PEREZ REYES<br />Integrantes: <br />Abel Rodríguez Ambrosio<br />Susana Yarell Rodríguez Contreras<br />Guillermo Iván Prisco Pérez<br />Isaías Rodríguez Ventura<br />
  2. 2. Lenguajes libres de contexto <br />Para cualquier lenguaje libre de contexto L existe un autómata de pila que reconoce al lenguaje, i.e.: libre de contexto y sea G una gramática libre de contexto que lo genere.<br />La función del autómata definido es la de simular derivaciones siniestras, en la gramática G, de palabras en el lenguaje L. De hecho, se puede demostrar que se cumple la equivalencia.<br />
  3. 3. Los LLC se describen mediante las Gramáticas Libres de Contexto (GLC). Todos los LR son LLC, pero no todos los LLC son LR. Los LLC (que no sean LR) no pueden denotarse mediante expresiones regulares ni pueden ser reconocidos mediante AF.<br />Es el lenguaje generado por la GLC.<br /> <br />L(G)={w / w ∈ VT* y S ⇒* w}<br /> <br />es decir w ∈ L(G) si w está formado cadenas de cero o más formados por a’s y b’s.<br />
  4. 4. Gramática libre de contexto<br />Una gramática libre de contexto es un <br />conjunto finito de variables, cada una de <br />las cuales representa un lenguaje. <br />
  5. 5. Los lenguajes representados por las variables se describen recursivamente en términos de otros lenguajes o de símbolos primitivos llamados “terminales”.<br />Las reglas que describen el lenguaje asociado<br />con cada variable se llaman “producciones”<br />
  6. 6. Se denota por:<br />4-TUPLA G=(V, T, P, S) donde V y T son conjuntos finitos de variables y terminales.<br />V y T son disjuntos P es un conjunto finito de producciones cada produccion es de la forma A-->  α donde A es una variable y α es una cadena de simbolos en (V U T)*.<br />S es una variable especial llamada el simbolo de inicio<br />
  7. 7. Respecto a la gramáticas<br />1.- Las letras A, B, C, D, E y S denotan variables: y S es el símbolo de inicio.<br />2.- Las letras minúsculas a, b, c, d, e, dígitos, y cadenas en letras negritas son terminales.<br />3.- Las letras mayúsculas X, Y y Z denotan símbolos que pueden ser terminales o variables.<br />4.- Las letras minúsculas u, v, w, x, y, z denotan cadenas de terminales.<br />5.- Las letras griegas α, β y γ denotan cadenas de variables y terminales.<br />
  8. 8. Las variables terminales y el símbolo de inicio de una gramática únicamente examinando sus producciones se puede representar como:<br />A α1, A α2 , . . . , A  αk<br />Son las producciones para las variables A de alguna gramática entonces se pueden expresar por la notación:<br /><ul><li>A α1 | α2 | . . . | αk </li></ul>Donde la línea vertical se lee como “o”. Y se escribre como<br />E  E + E | E * E | (E) | id<br />
  9. 9. Ejemplo<br />
  10. 10. Ejemplo 2<br />
  11. 11. Bibliografía<br />John E. Hopcroft, Jeffrey D. Ullman. “INTRODUCCION A LA TEORIA DE AUTOMATAS, LENGUAJES Y COMPUTACION”. Compañía Editorial Continental. México 1993.<br />

×