Conversión de Gramáticas Libres de Contexto. EQUIPO 6 Jardón Jara Micheelle Enrique Perfecto Espinosa Valeria
|
|
- Ana Benítez Marín
- hace 6 años
- Vistas:
Transcripción
1 Conversión de Gramáticas Libres de Contexto EQUIPO 6 Jardón Jara Micheelle Enrique Perfecto Espinosa Valeria
2 Objetivo Desarrollar el tema de Conversión de Gramáticas Libres de Contexto (GLC): Algoritmos para la conversión a una gramática limpia, a una bien formada y a una normalizada según Chomsky (FNC), mediante una presentación de Power Point que incluya teoría y ejercicios sobre el mismo. Ejercicio Realizar los árboles de derivación de cada ejemplo explicado durante la presentación. Deberán ser 2 árboles por cada ejemplo: uno con la gramática inicial y otro con la gramática modificada, comprobando una cadena aceptada por ambos árboles. NOTA: 7 ejemplos en total.
3 Gramática Libre de Contexto (GLC) De tipo 2 según la Jerarquía de Chomsky. Elementos G= {V, T, S, P} donde: *V = Conjunto finito de símbolos No Terminales (MAYÚSCULAS). *T= Conjunto finito de símbolos Terminales (minúsculas). *S= Símbolo o elemento inicial (el arranque). *P= Reglas de Producción (Definición recursiva del lenguaje). FUENTE: Apuntes Profa. Hilda Yelitza Contreras Zambrano.
4 Gramática Limpia No contiene reglas innecesarias. No contiene símbolos superfluos. No contiene símbolos inaccesibles. Gramática Bien Formada Es limpia. No contiene reglas no generativas o producciones nulas (reglas ). No contiene reglas unitarias o de redenominación. FUENTE: Apuntes Profa. Hilda Yelitza Contreras Zambrano.
5 Conversión a Gramática Bien Formada Algoritmo para obtener una gramática bien formada. 1. Eliminar reglas innecesarias. 2. Eliminar reglas no generativas (reglas ). 3. Eliminar reglas unitarias. 4. Eliminar símbolos superfluos. 5. Eliminar símbolos inaccesibles. FUENTE: Apuntes Profa. Hilda Yelitza Contreras Zambrano.
6 Reglas innecesarias Una regla de la forma A::= A es innecesaria y puede ser eliminada. No se necesita seguir un algoritmo para eliminarse. Ejemplo (1) : Sea G = {V,T,S,P} con las siguientes producciones: S::=A B A::=A 0 B::=A B 1 2 se elimina A::=A y nos queda A::=0 FUENTE: Apuntes Profa. Hilda Yelitza Contreras Zambrano.
7 Reglas No Generativas Es una regla de la forma A::=, siendo A V. Los símbolos A, tales que A *, se denominan anulables. Algoritmo Sea la GLC G={V,T,S,P}. Transformamos G en G ={V,T,S,P } de forma que L(G)=L(G ). 1) Obtención de los símbolos anulables en G (conjunto SA). SA={A A V y (A::= ) P}.
8 2) Creación de G : 2.1 P =. 2.2 Se separa cada regla de producción y se sustituye de la siguiente forma: * Si un símbolo de la parte izquierda no es anulable ( SA) no se modifica. * Si un símbolo de la parte izquierda es anulable ( SA) se agrega una opción donde este símbolo se sustituye por. 2.3 De estas nuevas reglas se eliminan los que tienen la forma B::=, y de las reglas restantes se eliminan los. Las reglas resultantes se incluyen en P. 2.4 Si S SA entonces P = P {S::= }. FUENTE: Apuntes Profa. Hilda Yelitza Contreras Zambrano.
9 Ejemplo (2) Sea G una gramática definida por las siguientes reglas: S::=Aa B A::=Aa ba BE B::= bb b E::= 1) Obtención de los símbolos anulables en G (conjunto SA). SA= {B,E} (por B::= y E::= ) SA={B,E,S} SA={B,E,S,A} (por S::=B) (por A::=E)
10 SA={B,E,S,A} 2) Creación de G 2.1 P =. 2.2 y 2.3 S::= Aa S::=Aa a S::=Aa a S::= B S::=B S::= B A::= Aa A::=Aa a A::=Aa a A::= ba A::=bA b A::= ba b S::=Aa B A::=Aa ba BE B::= bb b E::= A::= BE A::= BE B E A::= BE B E B::= bb B::=bB b B::= bb b B::= b B::= b B::= b B::= B::= SE ELIMINA E::= E::= SE ELIMINA
11 2.4 Se añade la regla S::= porque S SA. Reglas de Producción modificadas: P = { S::=Aa a B A::= Aa a ba b BE B E B::= bb b } Ahora existe la regla A::=E. E es un símbolo superfluo que se eliminará más adelante según el algoritmo. FUENTE: Apuntes Profa. Hilda Yelitza Contreras Zambrano.
12 Reglas No Generativas Son de la forma A::=B, siendo A,B V Existen 2 algoritmos para eliminar reglas unitarias. 1) Algoritmo para derivaciones unitarias que no sean cíclicas de la forma: A B A. 2) Algoritmo general; funciona en todos los casos. FUENTE: Apuntes Profa. Hilda Yelitza Contreras Zambrano.
13 1) Algoritmo Simple Repetir Para cada regla unitaria A::=B se sustituye B por sus propias reglas. Hasta que no haya más reglas unitarias. Ejemplo (3) Sea G una gramática definida por las siguientes reglas: S::= Aa C E CE B::= bb b C::= B A::= Aa ba b B E::= c Primero sustituiremos a B en la regla C y en la regla A.
14 C::= bb b A::= Aa ba b bb S::= Aa C E CE B::= bb b C::= B A::= Aa ba b B E::= c Se sustituye C (ya modificada) y E en la regla S. S::= Aa bb b c CE Reglas de producción modificadas P = { S::= Aa bb b c CE B::= bb b C::= bb b A::= Aa ba b bb E::= c } FUENTE: Apuntes Profa. Hilda Yelitza Contreras Zambrano.
15 2) Algoritmo General Sea la GLC G={V,T,S,P}. Transformamos G en G ={V,T,S,P } de forma que L(G)=L(G ). 1) Para cada A V, se define el conjunto: Unitario(A) = {B V A *B usando sólo reglas unitarias}. 2) Inicializar P =. 3) Para cada variable A y cada B Unitario(A): Para cada regla no unitaria B::=w de P, añadir A::=w a P. Este algoritmo también elimina reglas innecesarias. FUENTE: Apuntes Profa. Hilda Yelitza Contreras Zambrano.
16 Ejemplo (4) Sea G una gramática definida por las siguientes reglas: S::= Aa C E BE B::= bb b S C::= B A::= Aa a E::= c 1) Encontrar conjuntos unitarios *Unitario(S) S C B S (ya está incluido) Por lo tanto, Unitario(S)={S,C,E,B}. E
17 *Unitario(A) = {A} *Unitario(B) B S C B E Por lo tanto, Unitario(B)={B,S,C,E,}. S::= Aa C E BE B::= bb b S C::= B A::= Aa a E::= c *Unitario(C) C B S C E Por lo tanto, Unitario(C)={C,B,S,E}. *Unitario(E) = {E}
18 2) P =. 3) Crear reglas de P : Unitario(S)={S,C,E,B} S: S::=Aa BE (por S; C y E son reglas unitarias) nada por C S:= c (por E) S::=bB b (por B) Unitario(A) = {A} A: A::=Aa a (por A) Unitario(B)={B,S,C,E,}. B: B::= bb b (por B) B::= Aa BE (por S) nada por C B::= c (por E) (porque B es regla unitaria) S::= Aa C E BE B::= bb b S C::= B A::= Aa a E::= c
19 Unitario(C)={C,B,S,E} C: nada por C C::= bb b (por B) C::= Aa BE (por S) C::= c (por E) S::= Aa C E BE B::= bb b S C::= B A::= Aa a E::= c Unitario(E) = {E} E: E::= c (por E) Reglas de producción modificadas P = { S::= Aa BE c bb b A::=Aa a B::= Aa BE c bb b C::= Aa BE c bb b E::= c } FUENTE: Apuntes Profa. Hilda Yelitza Contreras Zambrano.
20 Símbolos Superfluos Es un símbolo No Terminal A tal que no existe una derivación A *w, donde w T. Algoritmo 1) Sea la GLC G={V,T,S,P}. Transformamos G en G ={V,T,S,P } de forma que L(G)=L(G ). Se construye iterativamente el nuevo V como sigue: Inicializar V,P a. Repetir Añadir a V todo no terminal A para el cual existe A::=w P y w (T V )*. Hasta que no se puedan añadir más símbolos a V.
21 2) Asignar a P todas las reglas p P cuyos símbolos pertenezcan a T V. 3) Si S V, añadir S a V. Ejemplo (5) Sea G una gramática definida por las siguientes reglas: S::= Aa B D B::=b A::=Aa ba B ce C::=abd E::= D::=Db 1) Inicializar V = ; P =.
22 S::= Aa B D B::=b A::=Aa ba B ce C::=abd E::= D::=Db 2) Añadir símbolos No Terminales: V ={B} (por B::=b) V ={B,C} (por C::=abd) V ={B,C,E} (por E::= ) V ={B,C,E,S} (por S::=B; porque B V ) V ={B,C,E,S,A} (por A::=B; B V ) SE ELIMINA D::=Db 3) Añadir reglas a P. Reglas de producción modificadas: P = { S::=Aa B B::=b A::=Aa ba B ce C::=abd E::= } FUENTE: Apuntes Profa. Hilda Yelitza Contreras Zambrano.
23 Símbolos Inaccesibles Un símbolo X (terminal o No terminal) será inaccesible si no existe una derivación: S * axb tal que a,b (V T)* Algoritmo Sea la GLC G={V,T,S,P}. Transformamos G en G ={V,T,S,P } de forma que L(G)=L(G ). Se construye iterativamente el nuevo V,T y P como sigue: 1) Inicializar V de forma que contenga el axioma S, e inicializar P y T a.
24 2) Repetir Para A V y reglas A::=w P: 2.1 Introducir A::=w en P. 2.2 Para todo No Terminal B de w, introducir B en V. 2.3 Para todo terminal a de w, introducir a en T. Hasta que no se puedan añadir nuevas reglas a P. Ejemplo (6) Sea G una gramática definida por las siguientes reglas: S::= Aa B B::=b A::=Aa ba B ce C::=abd E::= G ={V,T,S,P }
25 1) Inicializar V = {S}; P = ; T =. 2) Añadir reglas y símbolos: P ={S::=Aa B}; V ={S,A,B}; T ={a}. P ={S::=Aa B, A::=Aa ba B ce}; V ={S,A,B,E}; T ={a,b,c}. P ={S::= Aa B, A::=Aa ba B ce, B::=b}; V ={S,A,B,E}; T ={a,b,c}. P ={S::= Aa B, A::=Aa ba B ce, B::=b, E::= }; V ={S,A,B,E}; T ={a,b,c} SE ELIMINA C::=abd S::= Aa B B::=b A::=Aa ba B ce C::=abd E::=
26 Reglas de producción modificadas P = { S::= Aa B A::=Aa ba B Ce B::=b E::= } Hasta aquí se obtiene una gramática bien formada eliminando las redundancias mencionadas. A continuación veremos cómo normalizar una gramática por Chomsky. FUENTE: Apuntes Profa. Hilda Yelitza Contreras Zambrano.
27 Forma Normal de Chomsky (FNC) Una GLC está en la FNC si cada una de sus producciones es de los siguientes 2 tipos: A a A BC S donde A,B,C son variables No Terminales (V), a es un símbolo terminal (T) y S es el axioma. Teorema: Cualquier GLC sin -producciones puede ser transformada a una gramática equivalente en donde las producciones son de la forma A BC o A a. FUENTE: Apuntes Profa. Hilda Yelitza Contreras Zambrano.
28 Algoritmo Sea A X1 X2 Xm en P. 1) Crear producciones del tipo A a adecuadamente. Si Xi es Terminal y Xi = a entonces agregamos a P la producción Ca a y remplazamos Xi por Ca. Entonces todas las producciones son de forma: A B1 B2 Bm y A a 2) Se crean producciones A BC adecuadamente. Para los casos en que m 3, hacemos: A B1 D1; D1 B2 D2;, Dm-2 Bm-1 Bm 3) Agregamos las respectivas variables y producciones (P ). V = V {D1, D2 Dm-2} FUENTE: Apuntes Profa. Hilda Yelitza Contreras Zambrano. Tema 4 GLC.
29 Ejemplo (7) Sea G una gramática bien formada definida por las siguientes reglas: S::= AB asb aab ab aa Bb a b A::= aab ab aa a B::=Bb b 1) Crear 2 nuevos símbolos No Terminales siguiendo la regla A a. C a y D b Reemplazando: S::= AB CSD CAB CB CA BD a b A::= CAB CB CA a B::=BD b
30 2) Crear 2 nuevos símbolos No Terminales siguiendo la regla A BC. E SD y F AB Reemplazando: S::= AB CE CF CB CA BD a b A::= CF CB CA a B::= BD b 3) Nuevas Producciones C a D b E SD F AB S::= AB CSD CAB CB CA BD a b A::= CAB CB CA a B::=BD b
31 Gramática Normalizada por Chomsky. P = { S::= AB CE CF CB CA BD a b A::= CF CB CA a B::= BD b E::=S D F::=A B C::=a D::=b } V ={S,A,B,E,F,C,D} T={a,b} S={S} FUENTE: Apuntes Profa. Hilda Yelitza Contreras Zambrano.
32 Fuentes Bibliográficas [1] A.V. Aho, J.E. Hopcroft, and J.D. Ullman. (1974). The Design and Analysis of Computer Algorithms. Addison-Wesley. [2] Copias de apuntes de la Profa. Hilda Yelitza Contreras Zambrano. [3] Contreras Zambrano Hilda Yelitza. (Abril, 2014). Tema 4 GLC. PDF recuperado de: [4] Contreras Zambrano Hilda Yelitza. (Abril, 2014). Unidad 2 GIC. PDF recuperado de: [5] Apuntes y ejercicios realizados en Clase. [6] Contreras Zambrano Hilda Yelitza. (Abril, 2014). GLC. Video de Youtube recuperado de:
Gramáticas tipo 0 o Estructura de frase En este tipo de gramáticas no hay restricción en su producciones y tienen la forma siguiente.
Gramáticas Libres de Contexto 1. Gramáticas. Como vimos en el capítulo anterior una gramática es un conjunto finito de reglas que describen todas las secuencias de símbolos que pertenecen a un lenguaje.
Más detallesTeoría de Autómatas y Lenguajes Formales.
Teoría de Autómatas y Lenguajes Formales Prueba de Evaluación de Lenguajes y Gramáticas Autores: Araceli Sanchis de Miguel Agapito Ledezma Espino Jose A. Iglesias Martínez Beatriz García Jiménez Juan Manuel
Más detallesGramáticas independientes del contexto
Capítulo 10. Gramáticas independientes del contexto 10.1. Conceptos generales Definición, Motivación. 10.2. Simplificación de GIC Reglas innecesarias, Símbolos inaccesibles, Símbolos superfluos, Reglas
Más detallesTEMA 6 GRAMÁTICAS INDEPENDIENTES DEL CONTEXTO
TEMA 6 GRAMÁTICAS INDEPENDIENTES DEL CONTEXTO TEMA 6.- GRAMÁTICAS INDEPENDIENTES DEL CONTEXTO 6.1. Gramáticas independientes del contexto. 6.2. Limpieza de Gramáticas Independientes del contexto. 6.3.
Más detallesTeoría de Lenguajes. Gramáticas incontextuales
Teoría de Lenguajes Gramáticas incontextuales José M. Sempere Departamento de Sistemas Informáticos y Computación Universidad Politécnica de Valencia Gramáticas incontextuales 1. Definiciones básicas.
Más detallesTEORÍA DE AUTÓMATAS Y LENGUAJES FORMALES Práctica 5 - Simplificación de gramáticas incontextuales
TEORÍA DE AUTÓMATAS Y LENGUAJES FORMALES Práctica 5 - Simplificación de gramáticas incontextuales 1. Objetivos 2. Representación de los datos en Mathematica 3. Eliminación de símbolos inútiles 3.1. Símbolos
Más detallesClase 15: GLC s limpias y bien formadas
Clase 15: GLC s limpias y bien formadas Solicitado: Ejercicios 12: GLC s Limpias y bien formadas M. en C. Edgardo Adrián Franco Martínez http://computacion.cs.cinvestav.mx/~efranco @efranco_escom edfrancom@ipn.mx
Más detallesGramáticas Libres de Contexto
Gramáticas Libres de Contexto Pedro J. Álvarez Pérez-Aradros Rubén Béjar Hernández Departamento de Informática e Ingeniería de Sistemas C.P.S. Universidad de Zaragoza GramáticasLibresContrxto.ppt 29/03/2004
Más detallesNivel del ejercicio : ( ) básico, ( ) medio, ( ) avanzado.
Universidad Rey Juan Carlos Curso 2010 2011 Teoría de Autómatas y Lenguajes Formales Ingeniería Técnica en Informática de Sistemas Hoja de Problemas 10 Gramaticas Independientes del Contexto Nivel del
Más detallesTeoría de Autómatas y Lenguajes Formales. Introducción a las Gramáticas. Gramáticas incontextuales
Teoría de utómatas y Lenguajes Formales Introducción a las ramáticas. ramáticas incontextuales José M. Sempere Departamento de Sistemas Informáticos y Computación Universidad Politécnica de Valencia Introducción
Más detallesCompiladores: Análisis Sintáctico. Pontificia Universidad Javeriana Cali Ingenieria de Sistemas y Computación Prof. Gloria Inés Alvarez V.
Compiladores: Análisis Sintáctico Pontificia Universidad Javeriana Cali Ingenieria de Sistemas y Computación Prof. Gloria Inés Alvarez V. Sintaxis Define la estructura del lenguaje Ejemplo: Jerarquía en
Más detallesTeoría de Autómatas y Lenguajes Formales.
Teoría de Autómatas y Lenguajes Formales Prácticas Introducción a JFLAP Autores: Araceli Sanchis de Miguel Agapito Ledezma Espino Jose A. Iglesias Martínez Beatriz García Jiménez Juan Manuel Alonso Weber
Más detallesLenguajes Incontextuales
Tema 5: Gramáticas Formales Lenguajes Incontextuales Departamento de Sistemas Informáticos y Computación http://www.dsic.upv.es p.1/31 Tema 5: Gramáticas Formales Gramáticas. Tipos de Gramáticas. Jerarquía
Más detallesExamen de Teoría de Autómatas y Lenguajes Formales
Examen de Teoría de Autómatas y Lenguajes Formales TAL 16 de Septiembre de 2008 (I) CUESTIONES: (Justifique formalmente las respuestas) 1. Pronúnciese acerca de la veracidad o falsedad de los siguientes
Más detallesCátedra Sintaxis y Semántica del Lenguaje
Cátedra Sintaxis y Semántica del Lenguaje 1 º CICLO DE CAPACITACION DOCENTE 1 Simplificación de Gramáticas Tipo 2 Forma Normal de Chomsky (FNC) Forma Normal de Greibach (FNG) 2 1 Jerarquía de Chomsky Gramáticas
Más detallesSea G = (V N, V T, S, P) una gramática libre de contexto, un árbol es un árbol de derivación para G si:
09:50 1 Temas Gramáticas libres de contexto Árbol de derivación Derivación más a la izquierda y más a la derecha Ambigüedad Factorización a izquierda Gramáticas propias Expresiones Regulares Objetivo Que
Más detallesSe pueden agrupar las reglas que tienen la misma parte izquierda:
GRAMÁTICA DE CONTEXTO LIBRE Gramática de contexto libre G = (V N, V T, P, S) que genera oraciones copulativas: V N = { , , , , V T = {el, la, hombre, niña,
Más detalles17 Análisis sintáctico II Compiladores - Profr. Edgardo Adrián Franco Martínez. Gramáticas limpias y bien formadas
2 Contenido Gramáticas limpias y bien formadas Algoritmo para detectar símbolos muertos Algoritmo para detectar símbolos inaccesibles Gramáticas ambiguas Clasificación de métodos de análisis sintáctico
Más detallesGramáticas Independientes del Contexto (GIC)
Asignatura: Teoría de la Computación Tema 4: Gramáticas independientes del contexto Definiciones y propiedades Gramáticas Independientes del Contexto (GIC) Qué es una gramática? Modelo de estructuras recursivas.
Más detallesCurso Básico de Computación
Curso Básico de Computación 4 Gramáticas libres de contexto Feliú Sagols Troncoso Matemáticas CINVESTAV-IPN 2010 Curso Básico de Computación (Matemáticas) 4 Gramáticas libres
Más detallesTema 5: Autómatas a pila. Teoría de autómatas y lenguajes formales I
Tema 5: Autómatas a pila Teoría de autómatas y lenguajes formales I Bibliografía Hopcroft, J. E., Motwani, R., y Ullman, J. D. Introducción a la Teoría de Autómatas, Lenguajes y Computación. Addison Wesley.
Más detallesTema 4: Gramáticas independientes del contexto. Teoría de autómatas y lenguajes formales I
Tema 4: Gramáticas independientes del contexto Teoría de autómatas y lenguajes formales I Bibliografía Hopcroft, J. E., Motwani, R., y Ullman, J. D. Introducción a la Teoría de Autómatas, Lenguajes y Computación.
Más detallesTemas. Objetivo 07:00
0 Temas Definición de Gramáticas de Estructura de Frase Proceso de derivación Gramáticas equivalentes Lenguajes de Estructura de Frase Jerarquía de Chomsky Relación entre los lenguajes Objetivo Que el
Más detallesCiencias de la Computación I
Ciencias de la Computación I Gramáticas Regulares Expresiones Regulares Gramáticas - Intuitivamente una gramática es un conjunto de reglas para formar correctamente las frases de un lenguaje - Por ejemplo,
Más detalles14 Lenguajes y gramáticas II
2 Contenido Lenguaje generado por una gramática (Derivaciones) Ejemplo Jerarquía de Chomsky Gramáticas tipo 3 Gramáticas tipo 2 Gramáticas tipo 1 Gramáticas tipo 0 Descripción de las gramáticas Ejercicios
Más detalles1. Cadenas EJERCICIO 1
LENGUAJES FORMALES Y AUTÓMATAS CURSO 2006/2007 - BOLETÍN DE EJERCICIOS Víctor J. Díaz Madrigal y José Miguel Cañete Departamento de Lenguajes y Sistemas Informáticos 1. Cadenas La operación reversa aplicada
Más detallesIntroducción. Las gramáticas definen las reglas que definen a los lenguajes Las reglas pueden tener una diversa variedad de esquemas
Gramáticas Introducción Las gramáticas definen las reglas que definen a los lenguajes Las reglas pueden tener una diversa variedad de esquemas En algunos lenguajes, una sucesión de símbolos depende del
Más detallesGRAMÁTICAS y LENGUAJES INDEPENDIENTES DEL CONTEXTO
Dpto. de Informática (ATC, CCIA y LSI). Universidad de Valladolid. TEORÍA DE AUTÓMATAS Y LENGUAJES FORMALES I Ingeniería Técnica en Informática de Sistemas. Curso 2011-12 GRAMÁTICAS y LENGUAJES INDEPENDIENTES
Más detallesEJERCICIOS del TEMA 3: Lenguajes independientes del contexto
EJERCICIOS del TEMA 3: Lenguajes independientes del contexto Sobre GICs (gramáticas independientes del contexto) 1. Sea G una gramática con las siguientes producciones: S ASB ε A aab ε B bba ba c ) d )
Más detallesEliminación de Símbolos Inútiles
Eliminación de Símbolos Inútiles Veremos cómo eliminar los símbolos inútiles de una gramática. Lo haremos con dos algoritmos, que son definidos en la demostración de los siguientes lemas. Lema 1 Dada una
Más detallesClase 12: Clasificación de gramáticas
Solicitado: Ejercicios 10: Clasificación de gramáticas M. en C. Edgardo Adrián Franco Martínez http://computacion.cs.cinvestav.mx/~efranco @efranco_escom edfrancom@ipn.mx 1 Contenido Avram Noam Chomsky
Más detallesComputabilidad y lenguajes formales: Sesión 19. Gramáticas Incontextuales (Context Free Grammars)
Computabilidad y lenguajes formales: Sesión 19. Gramáticas Incontextuales (Context Free Grammars) Prof. Gloria Inés Alvarez V. Departamento de Ciencias e Ingeniería de la Computación Pontificia Universidad
Más detallesCiencias de la Computación I
Ciencias de la Computación I Gramáticas Libres del Contexto y Lenguajes Libres del Contexto Gramáticas Formales Una gramática formal es una cuadrupla G = (N, T, P, S) N = conjunto finito de símbolos no
Más detallesTema 6: Compiladores e intérpretes. Teoría de autómatas y lenguajes formales I
Tema 6: Compiladores e intérpretes Teoría de autómatas y lenguajes formales I Bibliografía Sudkamp, T. A. Languages and machines: an introduction to the theory of computer science. Addison Wesley. 1997.
Más detallesTema 3: Gramáticas Formales. Informática Teórica I
Tema 3: Gramáticas Formales Informática Teórica I Teoría de Gramáticas Formales. Bibliografía M. Alfonseca, J. Sancho y M. Martínez. Teoría de Lenguajes, Gramáticas y Autómatas, R.A.E.C., Madrid, (1998).
Más detallesLa Forma Normal de Chomsky
La s Polinomiales para el Problema de la Palabra en CFL Universidad de Cantabria Esquema 1 2 3 Hemos visto hasta aquí como demostrar si una palabra esta dentro de un lenguaje libre de contexto (CFL). El
Más detallesLa Ambigüedad en el Parsing
La en el Parsing Definición y Ejemplos Universidad de Cantabria Outline El Problema 1 El Problema 2 3 El Problema En nuestra busqueda por encontrar la estructura exploraremos como elegir una derivación
Más detallesANÁLISIS SINTÁCTICO I GRAMÁTICAS
Todos los derechos de propiedad intelectual de esta obra pertenecen en exclusiva a la Universidad Europea de Madrid, S.L.U. Queda terminantemente prohibida la reproducción, puesta a disposición del público
Más detallesTarea Nº 2 Introducción a la Informática Lema del Bombeo y Lenguajes de Contexto Libre
Tarea Nº 2 Introducción a la Informática Lema del Bombeo y Lenguajes de Contexto Libre Dr. Horst von Brand vonbrand@inf.utfsm.cl Diego Candel dcontard@.inf.utfsm.cl Lunes 24 de Abril 1º Semestre del 2006
Más detallesTema 2 Gramáticas y Lenguajes Libres de Contexto
Tema 2 Gramáticas y Lenguajes Libres de Contexto 1. Definiciones Básicas 2. 3. Forma Normal de Chomsky 4. Autómatas de Pila 5. Propiedades de los Lenguajes Libres de Contexto 1. Definiciones básicas 1.
Más detallesLenguajes y Compiladores Aspectos Formales (Parte 2) Compiladores
Facultad de Ingeniería de Sistemas Lenguajes y Aspectos Formales (Parte 2) 2007 1 Derivaciones El proceso de búsqueda de un árbol sintáctico para una cadena se llama análisis sintáctico. El lenguaje generado
Más detallesPropiedades de lenguajes independientes del contexto
Capítulo 12. Propiedades de lenguajes independientes del contexto 12.1. Identificación de lenguajes independientes del contexto Lema de bombeo. 12.2. Propiedades Cierre, Complemento de lenguajes, Sustitución,
Más detallesProyecto Intermedio Algoritmo de Earley
Fundamentos de Computación Proyecto Intermedio: Algoritmo de Earley Profesor: Dr. José Torres Jiménez Alumnos: Edna Gutiérrez Gasca Aureny Magaly Uc Miam Jorge Rodríguez Núñez Proyecto Intermedio Algoritmo
Más detallesTeoría de la Computación y Lenguajes Formales
Teoría de la Computación y Lenguajes Formales Máquinas de Turing Prof. Hilda Y. Contreras Departamento de Computación hyelitza@ula.ve hildac.teoriadelacomputacion@gmail.com Máquinas de Turing Contenido
Más detallesCualquier lenguaje de contexto libre, L, puede ser generado por medio de una GCL, G, que cumpla las siguientes condiciones:
Teoría de Autómatas y Lenguajes Formales Boletín de Autoevaluación 5: Cómo se simplifica una Gramática de Contexto Libre?. 1. Objetivos. El objetivo de este boletín es ilustrar cómo proceder para simplificar
Más detallesEjercicio Guía para obtener FNC y FNG. Forma Intermedia de Chomsky
Ejercicio Guía para obtener FNC y FNG Este documento tiene como fin mostrar la forma de obtener la Forma Normal de Chomsky (FNC o también CNF) y la Forma Normal de Greibach (FNG o también GNF) de una gramática
Más detallesDEFINICIONES BÁSICAS E INTRODUCCIÓN A LENGUAJES FORMALES
1 DEFINICIONES BÁSICAS E INTRODUCCIÓN A LENGUAJES FORMALES Los LENGUAJES FORMALES están formados por PALABRAS, las palabras son CADENAS y las cadenas están constituidas por SÍMBOLOS de un ALFABETO. SÍMBOLOS
Más detallesIngeniería en Computación. Autómatas y Lenguajes Formales. Unidad de competencia IV: Conocer, utilizar y diseñar gramáticas de libre contexto
Universidad Autónoma del Estado de México Centro Universitario UAEM Texcoco Departamento de Ciencias Aplicadas. Ingeniería en Computación. Autómatas y Lenguajes Formales. Unidad de competencia IV: Conocer,
Más detallesPROGRAMACIÓN II AÑO 2009 TALLER 3: TEORÍA DE LENGUAJES Y AUTÓMATAS
Licenciatura en Sistemas de Información PROGRAMACIÓN II AÑO 2009 TALLER 3: TEORÍA DE LENGUAJES Y AUTÓMATAS UNSE FCEyT 1. DESCRIPCIÓN Este taller consta de tres partes. En cada una de ellas se especifican
Más detallesPropiedades de los Lenguajes Libres de Contexto
Propiedades de los Lenguajes Libres de Contexto 15 de junio de 2015 15 de junio de 2015 1 / 1 Contenido 15 de junio de 2015 2 / 1 Introducción Introducción Simplificación de CFG s. Esto facilita la vida,
Más detallesSSL Guia de Ejercicios
1 SSL Guia de Ejercicios INTRODUCCIÓN A LENGUAJES FORMALES 1. Dado el alfabeto = {a, b, c}, escriba las palabras del lenguaje L = {x / x }. 2. Cuál es la cardinalidad del lenguaje L = {, a, aa, aaa}? 3.
Más detallesJerarquía de Chomsky. 1. Clasificación de gramáticas. 2. Clasificación de lenguajes. 3. Gramáticas regulares. 5. Gramáticas dependientes del contexto
Jerarquía de Chomsky 1. Clasificación de gramáticas 2. Clasificación de lenguajes 3. Gramáticas regulares 4. Gramáticas independientes del contexto 5. Gramáticas dependientes del contexto 6. Gramáticas
Más detallesClase 16: GLC s recursivas y no factorizadas Solicitado: Ejercicios 13: Recursividad y factorización de gramáticas
Clase 16: GLC s recursivas y no factorizadas Solicitado: Ejercicios 13: Recursividad y factorización de gramáticas M. en C. Edgardo Adrián Franco Martínez http://computacion.cs.cinvestav.mx/~efranco @efranco_escom
Más detallesINGENIERÍA EN INFORMÁTICA MODELOS ABSTRACTOS DE COMPUTO I SOLUCIONES
INGENIERÍA EN INFORMÁTICA MODELOS ABSTRACTOS DE COMPUTO I 19 de Enero de 2009 SOLUCIONES PREGUNTA 1 (2 puntos): Son siete cuestiones que debes responder y entregar en esta misma hoja. 1.1 Considera el
Más detallesPractica 05: Limpieza de gramáticas libres de contexto
Entrega vía Web: 10 de Noviembre de 2013 M. en C. Edgardo Adrián Franco Martínez http://computacion.cs.cinvestav.mx/~efranco @efranco_escom edfrancom@ipn.mx 1 Contenido Definición del problema Observaciones
Más detallesTeoría de Autómatas y Lenguajes Formales.
Teoría de Autómatas y Lenguajes Formales Prácticas Introducción a JFLAP Autores: Araceli Sanchis de Miguel Agapito Ledezma Espino Jose A. Iglesias Martínez Beatriz García Jiménez Juan Manuel Alonso Weber
Más detallesGramáticas de Atributos
Teoría de Lenguajes Facultad de Ciencias Exactas y Naturales Universidad de Buenos Aires Etapas de un Compilador Analizador Léxico Analizador Sintáctico (Parser)... Lexer: Genera secuencia de tokens Reporta
Más detallesINTRODUCCIÓN A COMPILADORES Y LENGUAJES FORMALES LENGUAJES FORMALES
Todos los derechos de propiedad intelectual de esta obra pertenecen en exclusiva a la Universidad Europea de Madrid, S.L.U. Queda terminantemente prohibida la reproducción, puesta a disposición del público
Más detallesSoluciones a los ejercicios
Soluciones a los ejercicios PROBLEMA 1: Sea la gramática G = {V, T, S, P }, donde V = {a, b, A, A, B, S}, T = {a, b}, S es el símbolo inicial y P = {S ::= ABa, A ::= BB, B ::= ab, AB ::= b}. ¾Se deriva
Más detallessi w=ay por tanto a Σ e y Σ*
EJERCICIOS: LENGUAJES Y GRAMÁTICAS FORMALES Y MÁQUINAS DE TURING 1.- Prefijos de una cadena x son las cadenas que se pueden obtener de x suprimiendo 0 o más caracteres del final de x. Prefijos propios
Más detallesTeoría de Autómatas y Lenguajes Formales.
Teoría de Autómatas y Lenguajes Formales Ejercicios de Lenguajes Regulares Autores: Araceli Sanchis de Miguel Agapito Ledezma Espino Jose A. Iglesias Martínez Beatriz García Jiménez Juan Manuel Alonso
Más detallesMáquinas Secuenciales, Autómatas y Lenguajes. Tema 4: Expresiones Regulares. Luis Peña
Máquinas Secuenciales, Autómatas y Lenguajes Tema 4: Expresiones Regulares Luis Peña Sumario Tema 4: Expresiones Regulares. 1. Concepto de Expresión Regular 2. Teoremas de Equivalencia Curso 2012-2013
Más detallesPRACTICA TEORIA DE LA COMPUTACION INGENIERIA EN SISTEMAS COMPUTACIONALES CATEDRATICA: LIC. YESENIA PEREZ REYES ALUMNO: EDUARDO DOMINGUEZ JUAREZ
PRACTICA TEORIA DE LA COMPUTACION INGENIERIA EN SISTEMAS COMPUTACIONALES CATEDRATICA: LIC. YESENIA PEREZ REYES ALUMNO: EDUARDO DOMINGUEZ JUAREZ CUARTO SEMESTRE GRUPO: B 1 de 13 Ejercicios de Teoría de
Más detallesCiencias de la Computación I
Ciencias de la Computación I Gramáticas ensibles al Contexto y enguajes ensibles al Contexto ctubre 2009 Gramáticas Formales Una gramática formal es una cuadrupla G = (N,, P, ) N = conjunto finito de símbolos
Más detallesCompiladores. Análisis Sintáctico Ascendente. Adrian Ulises Mercado Martínez. Facultad de Ingeniería, UNAM. 5 de septiembre de 2013
Compiladores Análisis Sintáctico Ascendente Adrian Ulises Mercado Martínez Facultad de Ingeniería, UNAM 5 de septiembre de 2013 Adrian Ulises Mercado Martínez (FI,UNAM) Compiladores 5/07/2013 1 / 34 Índice
Más detallesautómatas finitos y lenguajes regulares LENGUAJES FORMALES Y
CONTENIDO Reconocedores [HMU2.1]. Traductores [C8]. Diagramas de Estado [HMU2.1]. Equivalencia entre AF deterministas y no deterministas [HMU2.2-2.3]. Expresiones [HMU3]. Propiedades de [HMU4]. Relación
Más detallesTeoría de la Computación y Leguajes Formales
y Leguajes Formales Prof. Hilda Y. Contreras Departamento de Computación hyelitza@ula.ve hildac.teoriadelacomputacion@gmail.com Contenido Tema 0: Introducción y preliminares: Conocimientos matemáticos
Más detallesLENGUAJES Y GRAMÁTICAS
LENGUAJES Y GRAMÁTICAS LENGUAJES Y GRAMÁTICAS La sintaxis de un lenguaje natural en lenguajes como el ingles, español, alemán o francés es extremadamente complicada, dado que es imposible especificar la
Más detallesTexto: Hopcroft, J. E., Motwani, R., Ullman, J.D., Introduction to Automata Theory, Languajes, and Computation. 3rd Edition. Addison Wesley, 2007.
Universidad de Puerto Rico Recinto de Mayagüez Facultad de Artes y Ciencias DEPARTAMENTO DE CIENCIAS MATEMÁTICAS Programa de Autómata y Lenguajes Formales Curso: Autómata y Lenguajes Formales Codificación:
Más detallesMODELOS DE COMPUTACION I Preguntas Tipo Test. 1. El lema de bombeo puede usarse para demostrar que un lenguaje determinado es regular.
MODELOS DE COMPUTACION I Preguntas Tipo Test Indicar si son verdaderas o falsas las siguientes afirmaciones: 1. El lema de bombeo puede usarse para demostrar que un lenguaje determinado es regular. 2.
Más detallesTeoría de la Computación y Lenguajes Formales
Teoría de la Computación y Lenguajes Formales Propiedades de los Lenguajes Libres de Contexto (LLC) Prof. Hilda Y. Contreras Departamento de Computación hyelitza@ula.ve hildac.teoriadelacomputacion@gmail.com
Más detallesFundamentos de Ciencias de la Computación Trabajo Práctico N 2 Lenguajes Libres del Contexto y Sensibles al Contexto Segundo Cuatrimestre de 2002
Departamento de Cs. e Ingeniería de la Computación Universidad Nacional del Sur Ejercicios Fundamentos de Ciencias de la Computación Trabajo Práctico N 2 Lenguajes Libres del Contexto y Sensibles al Contexto
Más detallesB b A. Notar que las gramáticas utilizadas son sin recursión por la izquierda:
Definición: Una Gramática Libre de Contexto (GLC) está en Forma Normal de Greibach (FNG) si todas las producciones son de la forma: A ab 1 B 2.. B k Donde A es un símbolo no Terminal, a es un símbolo Terminal
Más detallesUNIVERSIDAD TECNOLOGICA DE PEREIRA FACULTAD DE INGENIERIAS
Asignatura Código Gramática y Lenguajes Formales IS405 Créditos 4 Intensidad semanal Requisitos 6 Horas IS323 Justificación Objetivo general Dar al estudiante toda una gran base teórica sobre Ciencias
Más detallesGramáticas independientes del contexto TEORÍA DE LA COMPUTACIÓN LENGUAJES INDEPENDIENTES DEL CONTEXTO Y AUTÓMATAS DE PILA. Otras definiciones I
Gramáticas independientes del contexto TEORÍ DE L COMPUTCIÓN LENGUJES INDEPENDIENTES DEL CONTEXTO Y UTÓMTS DE PIL Francisco Hernández Quiroz Departamento de Matemáticas Facultad de Ciencias, UNM E-mail:
Más detallesAUTÓMATAS DE PILA Y LENGUAJES INDEPENDIENTES DEL CONTEXTO
Autómatas de pila y lenguajes independientes del contexto -1- AUTÓMATAS DE PILA Y LENGUAJES INDEPENDIENTES DEL CONTEXTO AUTÓMATAS DE PILA - Son autómatas finitos con una memoria en forma de pila. - Símbolos
Más detallesAutómatas Finitos Deterministicos (DFA)
Autómatas Finitos Deterministicos (DFA) Introducción a la Lógica y la Computación Fa.M.A.F., Universidad Nacional de Córdoba 26/0/6 Info útil Bibliografía: Introducción a la teoría de autómatas, lenguajes
Más detallesModelos De Computación. Guía Modelos de Computación. Tema I: Lenguajes y Gramáticas
Guía Modelos de Computación Tema I: Lenguajes y Gramáticas Introducción La sintaxis de un lenguaje natural, esto es, la de los lenguajes hablados, como el inglés, el español, el alemán o el francés, es
Más detallesTeoría de Lenguajes. Clase Teórica 1 Gramáticas y Jerarquía de Chomsky. Primer cuartimestre 2016
Teoría de Lenguajes Clase Teórica 1 ramáticas y Jerarquía de Chomsky Primer cuartimestre 2016 Material compilado por Julio Jacobo a lo largo de distintas ediciones de la materia Teoría de Lenguajes en
Más detalles! "!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
! "!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!#!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!# " $!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!%!#!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!&!!#!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!'!(!#
Más detallesProcesadores de Lenguaje
Procesadores de Lenguaje Analizadores sintácticos descendentes: LL(1) Cristina Tîrnăucă Dept. Matesco, Universidad de Cantabria Fac. Ciencias Ing. Informática Primavera de 2013 Analizadores sintácticos
Más detallesUNIVERSIDAD NACIONAL DE EDUCACIÓN A DISTANCIA Escuela Técnica Superior de Ingeniería Informática Procesadores de Lenguajes. Tema 3.
UNIVRSIDAD NACIONAL D DUCACIÓN A DISTANCIA scuela Técnica Superior de Ingeniería Informática Procesadores de Lenguajes Tema 3 Parte I Análisis Sintáctico Javier Vélez Reyes jvelez@lsi.uned.es Objetivos
Más detallesEl análisis descendente LL(1) 6, 7 y 13 de abril de 2011
6, 7 y 13 de abril de 2011 Analizadores sintácticos (repaso) Los analizadores descendentes: Corresponden a un autómata de pila determinista. Construyen un árbol sintáctico de la raíz hacia las hojas (del
Más detallesTÍTULO: TIPO DE DOCUMENTO: FORMATO SISTEMA DE GESTIÓN DE LA CALIDAD DE INGENIERIA Y APLICACIONES OSRI
FECHA DE EMISIÓN: 08-abr-5 DE 6 COPIA No. FECHA DE EMISIÓN: 08-abr-5 2 DE 6 DIÁMETRO CODIGO DE LA AREA TOTAL ÁREA ÚTIL DEL AGUJERO MARCA AREA (dm²) % AGUJEROS 4mm 90400A000A.8 24.89 94 2 5mm (3/6") 905004A00A.
Más detallesLección 3: Fundamentos para el análisis sintáctico
Lección 3: Fundamentos para el análisis sintáctico 1) Introducción 2) Gramáticas. Definiciones y clasificación 3) GLC. Notaciones 4) GLC. Árboles de análisis sintáctico 5) GLC. Derivación a dcha. y a izda.
Más detallesPropiedades de los Lenguajes Libres de Contexto
de los s de los Lenguajes Libres de Contexto INAOE (INAOE) 1 / 47 Contenido de los s 1 2 -ɛ 3 4 5 6 de los s (INAOE) 2 / 47 () de los s Queremos mostrar que todo (sin ɛ) se genera por una CFG donde todas
Más detallesNÚMEROS ENTEROS Y RACIONALES GUÍA DE EJERCITACIÓN Teorema de Thales y división de segmentos
SGUICM0M11-A16V1 NÚMEROS ENTEROS Y RACIONALES GUÍA DE EJERCITACIÓN Teorema de Thales y división de segmentos 1 TABLA DE CORRECCIÓN TEOREMA DE THALES Y DIVISIÓN DE SEGMENTOS ÍTEM ALTERNATIVA HABILIDAD 1
Más detallesTEORIA DE AUTOMATAS.
TEORIA DE AUTOMATAS. RELACION DE PROBLEMAS II.. Construir un AFND capaz de aceptar una cadena u {, }, que contenga la subcadena. Construir un AFND capaz de aceptar una cadena u {, }, que contenga la subcadena.
Más detallesMatrices y operaciones con Matrices.
Matrices y operaciones con Matrices En clases anteriores hemos usado arreglos rectangulares de números, denominados matrices aumentadas, para resolver sistemas de ecuaciones lineales Denición Una matriz
Más detallesESCUELA INTERNACIONAL DE IDIOMAS Avenida Pedro de Heredia, Calle 49a #31-45, barrio el Libano 6600671
Página: Pág: 1 HORARIOS DE CLASES IDIOMAS Jornada: M Sem:01 Curso:01 A.1.1 AA A.1.1 AA A.1.1 AA 11:00AM-12:00PM VIONIS VIONIS Jornada: M Sem:01 Curso:02 A.1.1 AB A.1.1 AB A.1.1 AB VIONIS VIONIS Jornada:
Más detallesNOTAS PARA LA MATERIA LENGUAJES DE PROGRAMACIÓN
NOTAS PARA LA MATERIA LENGUAJES DE PROGRAMACIÓN G r a m á t i c a s UNIVERSIDAD DE SONORA DEPARTAMENTO DE MATEMÁTICAS LICENCIATURA EN CIENCIAS DE LA COMPUTACIÓN Dra. María de Guadalupe Cota Ortiz Lenguaje
Más detallesAutómatas Finitos Deterministicos (DFA)
Autómatas Finitos Deterministicos (DFA) Introducción a la Lógica Fa.M.A.F., Universidad Nacional de Córdoba 22//4 Info útil Bibliografía: Introducción a la teoría de autómatas, lenguajes y computación.
Más detallesLas Gramáticas Formales
Definición de Las Como definir un Lenguaje Formal Universidad de Cantabria Esquema Motivación Definición de 1 Motivación 2 Definición de 3 Problema Motivación Definición de Dado un lenguaje L, se nos presenta
Más detallesELEMENTOS DE ALGEBRA LINEAL
ELEMENTOS DE ALGEBRA LINEAL Matriz Una matriz de orden o dimensión n x p es una ordenación rectangular de elementos dispuestos en n filas y p columnas de la siguiente forma: a11 a1 a1p a1 a a p A an1 an
Más detallesESCUELA: UNIVERSIDAD DEL ISTMO
1.-IDENTIFICACIÓN ESCUELA: UNIVERSIDAD DEL ISTMO CLAVE: 3041 GRADO: ING. EN COMPUTACIÓN, CUARTO SEMESTRE TIPO DE TEÓRICA/PRÁCTICA ANTECEDENTE CURRICULAR: 3033.- OBJETIVO GENERAL Proporcionar al alumno
Más detallesTema 5 Lenguajes independientes del contexto. Sintaxis
Tema 5 Lenguajes independientes del contexto. Sintaxis 1 Gramáticas independientes del contexto Transformación de gramáticas independientes del contexto Autómatas de pila Obtención de un autómata de pila
Más detallesMatemáticas Discretas L. Enrique Sucar INAOE. Permutaciones y Combinaciones
Matemáticas Discretas L. Enrique Sucar INAOE Permutaciones y Combinaciones Contenido Introducción Reglas de la suma y el producto Permutaciones Combinaciones Generación de permutaciones Teorema del Binomio
Más detalles!"#$%&%#'(!$#')! &*"%+',-%"*.#!"/&#'(!$#!-*"%+' #)%'%(%0*!!1$!"/&#'(!1$#1*!*$!1#'#!"#1!$##*-! *"%+'$#
PAGINA 1 !"#$%&%#'(!$#')! &*"%+',-%"*.#!"/&#'(!$#!-*"%+' #)%'%(%0*!!1$!"/&#'(!1$#1*!*$!1#'#!"#1!$##*-! *"%+'$# 2 3 34! %5!'(#(#&! * 3 %'*&%1&!# %(! %* 32 4! %5!'(#)61%"!#'(! '!#(!!%(*'! 33 4! %5!'(##"!'+&%"!7*"(!
Más detallesLenguajes independientes de contexto o incontextuales
Lenguajes independientes de contexto o incontextuales Elvira Mayordomo Universidad de Zaragoza 5 de noviembre de 2012 Elvira Mayordomo (Universidad de Zaragoza)Lenguajes independientes de contexto o incontextuales5
Más detalles