TEMA 6 GRAMÁTICAS INDEPENDIENTES DEL CONTEXTO

Tamaño: px
Comenzar la demostración a partir de la página:

Download "TEMA 6 GRAMÁTICAS INDEPENDIENTES DEL CONTEXTO"

Transcripción

1 TEMA 6 GRAMÁTICAS INDEPENDIENTES DEL CONTEXTO

2 TEMA 6.- GRAMÁTICAS INDEPENDIENTES DEL CONTEXTO 6.1. Gramáticas independientes del contexto Limpieza de Gramáticas Independientes del contexto Gramáticas limpias y gramáticas sucias Limpieza de gramáticas Teorema de los símbolos vivos Teorema de los símbolos accesibles Análisis automático de la limpieza de gramáticas 6.5 Gramáticas bien formadas 6.6. Formas Normales de Gramáticas Independientes del contexto Forma Normal de Chomsky (FNC) Forma Normal de Greibach (FNG) TALF. Tema6 nº 2

3 6.1. Gramáticas independientes del contexto. Técnicas para preparar una gramática tipo 2 para ser tratada eficientemente por un autómata con pila: Gramáticas limpias Gramáticas bien formadas Formas normales de Chomsky y Greibach TALF. Tema6 nº 3

4 6.2. Limpieza de Gramáticas Independientes del contexto. Las gramáticas de los lenguajes de programación están formadas por un conjunto de reglas BNF, cuyo número suele ser bastante amplio, lo cual incide en la ocultación de distintos problemas que pueden producirse, tales como tener reglas que produzcan símbolos que no se usen después, o que nunca se llegue a cadenas terminales. Todo esto se puede solventar realizando la transformación de la gramática inicial sucia a una gramática limpia. TALF. Tema6 nº 4

5 6.3. Gramáticas limpias y gramáticas sucias. Definiciones. Símbolo muerto (superfluo): es un símbolo no terminal que no genera ninguna cadena de símbolos terminales. Símbolo vivo: es un símbolo no terminal del cual se puede derivar una cadena de símbolos terminales. Todos los símbolos terminales son símbolos vivos. Es decir son símbolos vivos lo que no son muertos. Símbolo inaccesible: es un símbolo no terminal al que no se puede llegar por medio de producciones desde el símbolo inicial. Símbolo accesible: es un símbolo que aparece en una cadena derivada del símbolo inicial. Es decir, aquel símbolo que no es inaccesible. Símbolo extraño: se denomina así a todo símbolo muerto o inaccesible. Gramática sucia: es toda gramática que contiene símbolos extraños. Gramática limpia: es toda gramática que no contiene símbolos extraños. TALF. Tema6 nº 5

6 6.4. Limpieza de gramáticas toda gramática en bruto ha de limpiarse con el objetivo de eliminar todos los símbolos extraños. El método de limpiar las gramáticas sucias consiste en detectar en primer lugar todos los símbolos muertos, y a continuación se detectan todos los símbolos inaccesibles. Es importante seguir este orden, puesto que la eliminación de símbolos muertos puede generar nuevos símbolos inaccesibles. Los algoritmos que se utilizan en la limpieza de gramáticas se basan en los teoremas que se enuncian a continuación TALF. Tema6 nº 6

7 6.4. Limpieza de gramáticas Teorema de los símbolos vivos Si todos los símbolos de la parte derecha de una producción son vivos, entonces el símbolo de la parte izquierda también lo es. Algoritmo para detectar símbolos muertos: 1. Hacer una lista de no-terminales que tengan al menos una producción sin símbolos no terminales en la parte derecha. 2. Dada una producción, si todos los no-terminales de la parte derecha pertenecen a la lista, entonces podemos incluir al no terminal de la parte izquierda. 3. Cuando no se puedan incluir más símbolos mediante la aplicación del paso 2, la lista contendrá todos los símbolos vivos, el resto serán muertos. TALF. Tema6 nº 7

8 6.4. Limpieza de gramáticas. Ejemplo. Determinar los símbolos muertos de la gramática expresada en BNF: <INICIAL>::= a <NOTA 1> <NOTA2> <NOTA3> <NOTA4> d <NOTA 1>::= b <NOTA2> <NOTA3> <NOTA2>::= e d <NOTA3>::= g <NOTA2> <NOTA4>::= <NOTA 1> f <NOTA5> <NOTA5>::= t <NOTA4> v <NOTA5> aplicando los pasos del algoritmo: 1. Confección de la lista: sólo hay un símbolo no terminal con el cual comenzar la lista. <NOTA2> 2. Aplicando el teorema se incluyen en la lista por el siguiente orden: <NOTA3> <NOTA1> <INICIAL> 3. No se puede aplicar el teorema más veces, por lo tanto la lista de símbolos vivos está completa y los símbolos <NOTA4> y <NOTA5> son no terminales muertos. TALF. Tema6 nº 8

9 6.4. Limpieza de gramáticas Teorema de los símbolos accesibles Si el símbolo no terminal de la parte izquierda de una producción es accesible, entonces todos los símbolos de la parte derecha también lo son. Algoritmo para detectar símbolos accesibles: 1. Se comienza la lista con un único no terminal, el símbolo inicial. 2. Si la parte izquierda de la producción está en la lista, entonces se incluyen en la misma a todos los no terminales que aparezcan en la parte derecha. 3. Cuando ya no se puedan incluir más símbolos mediante la aplicación del paso 2, la lista contendrá todos los símbolos accesibles, y el resto será inaccesible. TALF. Tema6 nº 9

10 6.4. Limpieza de gramáticas. Ejemplo. Sea la siguiente gramática en BNF: <INICIAL>::= a<noter1><noter2> <NOTER1> <NOTER1>::= c <NOTER2> d <NOTER2>: := e f <INICIAL> <NOTER3>::= g <NOTER4> h <NOTER4> t <NOTER4>::= x l y l z Aplicando el algoritmo los símbolos inaccesibles son: 1. Confección de la lista: <INICIAL> 2. Aplicación del teorema <NOTER1> <NOTER2> 3. No se puede aplicar más veces el paso, luego la lista de símbolos accesibles está completa, y los no terminales inaccesibles son: <NOTER3> <NOTER4> TALF. Tema6 nº 10

11 6.4. Limpieza de gramáticas Análisis automático de la limpieza de gramáticas Los algoritmos de limpieza de gramáticas comprueban si las gramáticas son limpias. Los pasos para el tratamiento de cualquier gramática son: Una gramática es limpia si no tiene: símbolos muertos símbolos inaccesibles reglas innecesarias (A::=A; éstas se eliminan directamente) TALF. Tema6 nº 11

12 6.4. Limpieza de gramáticas. Ejemplo. Ejemplo: <INICIAL>::= A <NOTER1> <NOTER2> <INICIAL>: := <NOTER1> <NOTER1>::= C <NOTER2> D <NOTER2>::= E <NOTER2>::= F <INICIAL> <NOTER3>::= G <NOTER4> <NOTER3>::= H <NOTER4> T <NOTER4>::= X <NOTER4>::= Y <NOTER4>::= Z El analizador indicará que la gramática no es limpia. La relación de símbolos no accesibles: NOTER3 y NOTER4. TALF. Tema6 nº 12

13 6.5 Gramáticas bien formadas Una gramática está bien formada si: 1. Está limpia. Sin símbolos muertos Sin símbolos inaccesibles Sin reglas innecesarias 2. No tiene reglas no generativas (A::=, A S). 3. No tiene reglas de redenominación (A::=B). TALF. Tema6 nº 13

14 6.5 Gramáticas bien formadas Algoritmo para eliminar las reglas no generativas (A::=, A S): P = P //P = reglas no generativas; P=reglas generativas Repetir Para cada P=( A P y A S ) P = P - {P} Para cada P = (B::=xAy) P P = P {B::=xy} Hasta que todas las reglas sean generativas TALF. Tema6 nº 14

15 6.5 Gramáticas bien formadas. Ejemplo. Ejemplo: P = {(A::=C0B), (A::=), (B::=BC), (B::=), (C::=0B), (C::=)} Aplicando el algoritmo: Eliminación de la regla B::= : P = {(A::=C0B), (A::=C0),(A::=), (B::=BC), (B::=C), (C::=0B), (C::=0), (C::=)} Eliminación de la regla C::= : P = {(A::=C0B), (A::=0B), (A::=C0), (A::=0),(A::=), (B::=BC), (B::=C), (B::=B), (B::=), (C::=0B), (C::=0)} Eliminación de la regla B::= que ha aparecido de nuevo: P = {(A::=C0B), (A::=0B), (A::=C0), (A::=0),(A::=), (B::=BC), (B::=C), (C::=0B), (C::=0)} Esta será la gramática sin reglas regenerativas Par eliminar las reglas de redenominación (A::=B) se genera una nueva producción A::= por cada regla B::=, con * y se borra la regla A::=B. TALF. Tema6 nº 15

16 6.6. Formas Normales de Gramáticas Independientes del contexto. En algunas ocasiones es imprescindible que las gramáticas se hallen dispuestas de una forma especial. Es decir, se trata de obtener una gramática equivalente, que genera el mismo lenguaje, pero que debe cumplir unas especificaciones determinadas. A continuación se muestran las dos formas normalizadas más frecuentes, que se emplean en los lenguajes formales y sus aplicaciones Forma Normal de Chomsky (FNC) Forma Normal de Greibach (FNG) TALF. Tema6 nº 16

17 Forma Normal de Chomsky (FNC) Una gramática se dice que está en la Forma Normal de Chomsky si sus reglas son de una de estas formas: A BC A a Siendo A, B, C no terminales y a un terminal. Teorema de la forma normal de Chomsky Toda gramática libre de contexto sin la cadena vacía tiene una gramática equivalente cuyas producciones están en la Forma Normal de Chomsky. Forma Normal de Chomsky (FNC) Una gramática se dice que está en la Forma Normal de Chomsky si sus reglas son de una de estas formas: A BC A a Siendo A, B, C no terminales y a un terminal. TALF. Tema6 nº 17

18 Forma Normal de Chomsky (FNC) El algoritmo a seguir es: 1. P i P / P i : A 1... n, donde i ( N T ), n2 1. j, si j T (es terminal) entonces hacer: 1. N = N {C j } 2. P= P {C j j } 3. Modificar P i, donde antes ponía j ahora poner C j. 2. P k P / P k : A B 1...B m, donde B N, m3 1. N = N {D j } j=1..m Reemplazar P k por las producciones: A B 1 D 1, D 1 B 2 D 2,..., D m-2 B m-1 B m TALF. Tema6 nº 18

19 Forma Normal de Chomsky (FNC). Ejemplo. Sea la gramática G=( N={S, A, B}, T ={a, b}, P, S) cuyas producciones son: S ba ab A baa as a B abb bs b encontrar una gramática equivalente en FNC. las reglas pueden reescribirse: (1) S ba (2) S ab (3) A baa (4) A as (5)(*) A a (6) B abb (7) B bs (8)(*) B b Solamente las señaladas con (*) están en forma FNC. La producción (1) se sustituye por dos: S C b A C b b Igualmente la (2) puede sustituirse por S C a B C a a Las producciones (3) y (4) se sustituyen por A C b D 1 D 1 AA A C a S y la (6) y la (7) por B C a D 2 D 2 BB B C b S TALF. Tema6 nº 19

20 Forma Normal de Chomsky (FNC). Ejemplo. la gramática equivalente en FNC es: S C b A S C a B A C a S A C b D 1 A a B C b S B C a D 2 B b D 1 AA D 2 BB C a a C b b TALF. Tema6 nº 20

21 Forma Normal de Greibach (FNG) Se dice que una gramática está en la Forma Normal de Greibach si sus reglas de producción son de la forma: A a A a donde A N, a T N * Teorema de la forma normal de Greibach Todo lenguaje de contexto libre sin la cadena vacía puede ser generado por una gramática cuyas reglas de producción son de la forma A a A a donde A N, a T N * Ejemplo: La gramática dada en el ejemplo anterior. S ba ab A baa as a B abb bs b TALF. Tema6 nº 21

22 Forma Normal de Greibach (FNG) Funciones previas utilizadas en el algoritmo para obtener la FNG: 1. Eliminar recursividad a izquierdas, las producciones A A. Operación para eliminar la recursividad en un símbolo: 1. Crear una nueva variable B A, N = N B A 2. P i P, P i : A A, 1. Añadir a P: B A y B A B A 2. Sacar A A de P. 3. P j P, P j : A, y no empieza por A 1. Añadir A B A La notamos como ELIMINA recursividad (A) 2. Sustiruir en las reglas A B las reglas de B Operación para eliminar una producción A B, con AB. 1. Sacar A B de P. 2. P i P, tq B, añadir A La notamos como ELIMINA producción (A B) TALF. Tema6 nº 22

23 Forma Normal de Greibach (FNG) Pasos para conseguir la FNG: 1. Partir de una gramática en forma normal de Chomsky. En realidad basta con que sea una gramática limpia y sus producciones tengan la forma: A a o A donde A N, a T * N 2. Establecer un determinado orden en los símbolos no-terminales y Poner las producciones en la forma: A i A j, con j>i. 1. Para k=1,...,m 1. Para j=1,...,k-1 1. P i P, P i : A k A j, ELIMINAR producción (A k A j ) 2. Si A k A k entonces ELIMINA recursividad (A k ) TALF. Tema6 nº 23

24 Forma Normal de Greibach (FNG) 3. Poner las producciones en la forma: A i a. 1. Para i=m-1,...,1 1. P i P, P i : A i A j, y j>i ELIMINAR producción (A i A j ) 2. Para k=1,...,m 1. P i P, P i : B j A k, 1. ELIMINAR producción (B j A k ) TALF. Tema6 nº 24

25 Forma Normal de Greibach (FNG). Ejemplo. Ejemplo: 1. Partimos de la gramática en FNC del ejemplo anterior: 1. S C b A C a B 2. A C a S C b D 1 a 3. B C b S C a D 2 b 4. D 1 AA 5. D 2 BB 6. C a a 7. C b b 2. Tomamos el orden anterior para N ={S=A 1 }. Poner las producciones en la forma: A i A j, con j>i. TALF. Tema6 nº 25

26 Forma Normal de Greibach (FNG) 2. Tomamos el orden anterior para N ={S=A 1 }. Poner las producciones en la forma: A i A j, con j>i. 1. Para k=1,...,m //m=7 1. Para j=1,...,k-1 1. P i P, P i : A k A j, ELIMINAR producción (A k A j ) k=4 (D 1 ), j=2 (A) cambian las producciones: K=5 (D 2 ),, j=3(b) 2. No A k A k ELIMINAR producción (D 1 AA) por: D 1 C a SA C b D 1 A aa ELIMINAR producción (D 2 BB) por: D 2 C b SB C a D 2 B bb 1. S C b A C a B 2. A C a S C b D 1 a 3. B C b S C a D 2 b 4. D 1 AA 5. D 2 BB 6. C a a 7. C b b Resultado paso 2 1. S C b A C a B 2. A C a S C b D 1 a 3. B C b S C a D 2 b 4. D 1 C a SA C b D 1 A aa 5. D 2 C b SB C a D 2 B bb 6. C a a 7. C b b TALF. Tema6 nº 26

27 Forma Normal de Greibach (FNG) 3. Poner las producciones en la forma: A i a. 1. Para i=m-1,...,1 //m=7 1. P i P, P i : A i A j, y j>i i=5 ELIMINAR producción (D 2 C b SB C a D 2 B bb) por: D 2 bsb ad 2 B bb i= 4 ELIMINAR producción (D 1 C a SA C b D 1 A aa) por: D 1 asa bd 1 A aa i= 3 ELIMINAR producción (B C b S C a D 2 b) por: B bs ad 2 b i= 2 ELIMINAR producción (A C a S C b D 1 a) A as bd 1 a i= 2 ELIMINAR producción (S C b A C a B) por: S ba ab 1. Para k=1,...,m 1. P i P, P i : B j A k, No existen 1. S C b A C a B 2. A C a S C b D 1 a 3. B C b S C a D 2 b 4. D 1 C a SA C b D 1 A aa 5. D 2 C b SB C a D 2 B bb 6. C a a 7. C b b Resultado paso 3 1. S ba ab 2. A as bd 1 a 3. B bs ad 2 b 4. D 1 asa bd 1 A aa 5. D 2 bsb ad 2 B bb 6. C a a 7. C b b TALF. Tema6 nº 27

28 Forma Normal de Greibach (FNG) Resultado paso 3: gramática equivalente e FNG: 1. S ba ab 2. A as bd 1 a 3. B bs ad 2 b 4. D 1 asa bd 1 A aa 5. D 2 bsb ad 2 B bb 6. C a a 7. C b b Si ahora la limpiamos: Simbolos vivos: todos Símbolos accesibles: S, A, B, D 1, D 1 Eliminamos C 1,C 2 Quedando la gramática limpia: 1. S ba ab 2. A as bd 1 a 3. B bs ad 2 b 4. D 1 asa bd 1 A aa 5. D 2 bsb ad 2 B bb Equivalente a: 1. S ba ab 2. A baa as a 3. B abb bs b TALF. Tema6 nº 28

Teoría de Autómatas y Lenguajes Formales.

Teorí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 detalles

Nivel del ejercicio : ( ) básico, ( ) medio, ( ) avanzado.

Nivel 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 detalles

EJERCICIOS del TEMA 3: Lenguajes independientes del contexto

EJERCICIOS 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 detalles

Teoría de Lenguajes. Gramáticas incontextuales

Teorí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 detalles

1. Cadenas EJERCICIO 1

1. 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 detalles

TEORÍ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 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 detalles

Compiladores: 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. 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 detalles

GRAMATICAS LIBRES DEL CONTEXTO

GRAMATICAS LIBRES DEL CONTEXTO GRMTICS LIBRES DEL CONTEXTO Estas gramáticas, conocidas también como gramáticas de tipo 2 o gramáticas independientes del contexto, son las que generan los lenguajes libres o independientes del contexto.

Más detalles

MODELOS 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. 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 detalles

Computabilidad 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) 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 detalles

Teoría de Autómatas y Lenguajes Formales. Introducción a las Gramáticas. Gramáticas incontextuales

Teorí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 detalles

Gramáticas independientes del contexto AUTÓMATAS Y LENGUAJES FORMALES LENGUAJES INDEPENDIENTES DEL CONTEXTO Y AUTÓMATAS DE PILA. Otras definiciones I

Gramáticas independientes del contexto AUTÓMATAS Y LENGUAJES FORMALES LENGUAJES INDEPENDIENTES DEL CONTEXTO Y AUTÓMATAS DE PILA. Otras definiciones I Gramáticas independientes del contexto UTÓMTS Y LENGUJES FORMLES 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 detalles

Tarea 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 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 detalles

Introducción. Las gramáticas definen las reglas que definen a los lenguajes Las reglas pueden tener una diversa variedad de esquemas

Introducció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 detalles

GRAMÁTICAS y LENGUAJES INDEPENDIENTES DEL CONTEXTO

GRAMÁ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 detalles

Tema 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 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 detalles

SSL Guia de Ejercicios

SSL 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 detalles

Procesadores de Lenguaje

Procesadores de Lenguaje Procesadores de Lenguaje Repaso TALF Cristina Tîrnăucă Dept. Matesco, Universidad de Cantabria Fac. Ciencias Ing. Informática Primavera de 2013 La Jerarquía de Chomsky Cuatro niveles de lenguajes formales

Más detalles

CONJUNTOS REGULARES. Orlando Arboleda Molina. 19 de Octubre de Escuela de Ingeniería de Sistemas y Computación de La Universidad del Valle

CONJUNTOS REGULARES. Orlando Arboleda Molina. 19 de Octubre de Escuela de Ingeniería de Sistemas y Computación de La Universidad del Valle CONJUNTOS REGULARES Orlando Arboleda Molina Escuela de Ingeniería de Sistemas y Computación de La Universidad del Valle 19 de Octubre de 2008 Contenido Expresiones regulares Teorema de Kleene Autómatas

Más detalles

AUTÓMATAS DE PILA Y LENGUAJES INDEPENDIENTES DEL CONTEXTO

AUTÓ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 detalles

Propiedades de lenguajes independientes del contexto

Propiedades 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 detalles

Cualquier lenguaje de contexto libre, L, puede ser generado por medio de una GCL, G, que cumpla las siguientes condiciones:

Cualquier 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 detalles

Tema 2 Gramáticas y Lenguajes Libres de Contexto

Tema 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 detalles

Las Gramáticas LL. Gramáticas con Parsing Eficiente. Universidad de Cantabria

Las Gramáticas LL. Gramáticas con Parsing Eficiente. Universidad de Cantabria Las (k) Las Gramáticas con Parsing Eficiente Universidad de Cantabria Outline Las (k) 1 Las (k) 2 3 Las (k) Formalizalización del Concepto LL Definición Una gramática libre de contexto G = (V, Σ, Q 0,

Más detalles

Fundamentos de Ciencias de la Computación Trabajo Práctico N 2 Lenguajes Libres del Contexto y Sensibles al Contexto Segundo Cuatrimestre de 2002

Fundamentos 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 detalles

Interrogación 2. Pontificia Universidad Católica de Chile Escuela de Ingeniería Departamento de Ciencia de la Computación. Segundo Semestre, 2003

Interrogación 2. Pontificia Universidad Católica de Chile Escuela de Ingeniería Departamento de Ciencia de la Computación. Segundo Semestre, 2003 Pontificia Universidad Católica de Chile Escuela de Ingeniería Departamento de Ciencia de la Computación Interrogación 2 IIC 2222 Teoría de Autómatas y Lenguajes Formales Segundo Semestre, 2003 Esta interrogación

Más detalles

Gramáticas Independientes del Contexto (GIC)

Gramá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 detalles

Tema 5 Lenguajes independientes del contexto. Sintaxis

Tema 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 detalles

Procesadores de Lenguaje

Procesadores 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 detalles

2do. Parcial. Todos los ejercicios se entregarán en hojas separadas. El examen tipo test cuenta hasta 2 puntos sobre la nota total.

2do. Parcial. Todos los ejercicios se entregarán en hojas separadas. El examen tipo test cuenta hasta 2 puntos sobre la nota total. U.R.J.C. Ingeniera Técnica en Informática de Sistemas Teoría de Autómatas y Lenguajes Formales Junio 2009 2do. Parcial Normas : La duración del examen es de 2 horas. Todos los ejercicios se entregarán

Más detalles

PRACTICA 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 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 detalles

Má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 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 detalles

PROCESADORES DE LENGUAJE EXAMEN FINAL 8-JUNIO-07

PROCESADORES DE LENGUAJE EXAMEN FINAL 8-JUNIO-07 PROCESADORES DE LENGUAJE EXAMEN FINAL 8-JUNIO-07 1. En qué método de análisis sintáctico puede suceder que en la construcción del árbol de derivación de las posibles expansiones de un símbolo no terminal

Más detalles

18 Análisis sintáctico III Compiladores - Profr. Edgardo Adrián Franco Martínez. Clasificación de métodos de análisis sintáctico Análisis descendente

18 Análisis sintáctico III Compiladores - Profr. Edgardo Adrián Franco Martínez. Clasificación de métodos de análisis sintáctico Análisis descendente 2 Contenido Clasificación de métodos de análisis sintáctico Análisis descendente Análisis descendente recursivo Análisis descendente predictivo Métodos deterministas Problemas del análisis descendente

Más detalles

PROGRAMACIÓN II AÑO 2009 TALLER 3: TEORÍA DE LENGUAJES Y AUTÓMATAS

PROGRAMACIÓ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 detalles

UNIVERSIDAD NACIONAL DE EDUCACIÓN A DISTANCIA Escuela Técnica Superior de Ingeniería Informática Procesadores de Lenguajes.

UNIVERSIDAD NACIONAL DE EDUCACIÓN A DISTANCIA Escuela Técnica Superior de Ingeniería Informática Procesadores de Lenguajes. UNIVERIDAD NACIONAL DE EDUCACIÓN A DITANCIA Escuela Técnica uperior de Ingeniería Informática Procesadores de Lenguajes Tema 3 Parte II Análisis intáctico Descendente Javier Vélez Reyes jvelez@lsi.uned.es

Más detalles

1.-DEFINE EN QUE CONSISTEN LAS GRAMÁTICAS LIBRES DE CONTEXTO

1.-DEFINE EN QUE CONSISTEN LAS GRAMÁTICAS LIBRES DE CONTEXTO 1.-DEFINE EN QUE CONSISTEN LAS GRAMÁTICAS LIBRES DE CONTEXTO una gramática libre de contexto (o de contexto libre) es una gramática formal en la que cada regla de producción es de la forma: V w Donde V

Más detalles

Lección 3: Fundamentos para el análisis sintáctico

Lecció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 detalles

Teoría de Lenguajes Solución 2do. Parcial Curso 2013

Teoría de Lenguajes Solución 2do. Parcial Curso 2013 Ejercicio 1 [Evaluación individual del obligatorio] Teoría de Lenguajes Solución 2do. Parcial Curso 2013 a) iv. Cuando se realiza un reduce b) ii. La gramática implementada en el archivo Sintactico.sin

Más detalles

Las Gramáticas Formales

Las 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 detalles

Temas. Objetivo. Que el estudiante logre: 1) Identificar conceptos constructivos de la Teoría de la Computabilidad. 2) Definir autómatas de pila.

Temas. Objetivo. Que el estudiante logre: 1) Identificar conceptos constructivos de la Teoría de la Computabilidad. 2) Definir autómatas de pila. 0 Temas Definición de autómata de pila Autómata de pila determinístico y no determinístico Objetivo Que el estudiante logre: 1) Identificar conceptos constructivos de la Teoría de la Computabilidad. 2)

Más detalles

El análisis descendente LL(1) 6, 7 y 13 de abril de 2011

El 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 detalles

PROGRAMA INSTRUCCIONAL AUTOMATAS Y LENGUAJES FORMALES

PROGRAMA INSTRUCCIONAL AUTOMATAS Y LENGUAJES FORMALES UNIVERSIDAD FERMIN TORO VICE RECTORADO ACADEMICO UNIVERSIDAD FACULTAD DE INGENIERIA ESCUELA DE MANTENIMIENTO MECÁNICO ESCUELA DE TELECOMUNICACIONES ESCUELA DE ELÉCTRICA ESCUELA DE COMPUTACIÓN PROGRAMA

Más detalles

EXÁMENES DE REPASO Teoría de Autómatas y Lenguajes Formales UNIVERSIDAD FRANCISCO DE VITORIA

EXÁMENES DE REPASO Teoría de Autómatas y Lenguajes Formales UNIVERSIDAD FRANCISCO DE VITORIA EXÁMENES DE REPASO Teoría de Autómatas y Lenguajes Formales UNIVERSIDAD FRANCISCO DE VITORIA 1ER PARCIAL TEORÍA DE AUTÓMATAS Y LENGUAJES FORMALES Examen parcial 12/02/2003 1.- Usa el lema de bombeo para

Más detalles

Tema 2. Análisis léxico

Tema 2. Análisis léxico Departamento de Tecnologías de la Información Tema 2 Análisis léxico Ciencias de la Computación e Inteligencia Artificial Índice 2.1 Introducción 2.2 Especificación de categorías léxicas 2.3 Autómatas

Más detalles

Introducción a la Lógica y la Computación

Introducción a la Lógica y la Computación Introducción a la Lógica y la Computación Parte III: Lenguajes y Autómatas Clase del 7 de Noviembre de 2014 Parte III: Lenguajes y Autómatas Introducción a la Lógica y la Computación 1/20 Lenguajes Formales

Más detalles

Ingeniería en Computación. Autómatas y Lenguajes Formales. Unidad de competencia IV: Conocer, utilizar y diseñar gramáticas de libre contexto

Ingenierí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 detalles

Lenguajes y Compiladores Análisis Sintáctico Parte I. Teoría Lenguajes 1

Lenguajes y Compiladores Análisis Sintáctico Parte I. Teoría Lenguajes 1 Facultad de Ingeniería de Sistemas Lenguajes y Compiladores Análisis Sintáctico Parte I 1 Introducción El analizador sintáctico recibe una secuencia de tokens y decide si la secuencia está correcta o no.

Más detalles

Pregunta 1 [40 puntos] Diga si las siguientes afirmaciones son verdaderas o falsas, demostrando su respuesta.

Pregunta 1 [40 puntos] Diga si las siguientes afirmaciones son verdaderas o falsas, demostrando su respuesta. Pregunta 1 [40 puntos] Diga si las siguientes afirmaciones son verdaderas o falsas, demostrando su respuesta. (a) Es posible aceptar por stack vacío el lenguaje {0 i 1 j i = j o j = 2i} con un AA determinístico.

Más detalles

Universidad de Valladolid

Universidad de Valladolid Universidad de Valladolid Departamento de Informática Teoría de autómatas y lenguajes formales. 2 o I.T.Informática. Gestión. Examen de primera convocatoria. 18 de junio de 29 Apellidos, Nombre... Grupo:...

Más detalles

Autómatas Deterministas. Ivan Olmos Pineda

Autómatas Deterministas. Ivan Olmos Pineda Autómatas Deterministas Ivan Olmos Pineda Introducción Los autómatas son una representación formal muy útil, que permite modelar el comportamiento de diferentes dispositivos, máquinas, programas, etc.

Más detalles

TEORÍA DE AUTÓMATAS Y LENGUAJES FORMALES Grado en Ingeniería Informática Online, Curso Universidad Rey Juan Carlos

TEORÍA DE AUTÓMATAS Y LENGUAJES FORMALES Grado en Ingeniería Informática Online, Curso Universidad Rey Juan Carlos TEORÍA DE AUTÓMATAS Y LENGUAJES FORMALES Grado en Ingeniería Informática Online, Curso 202-203 Universidad Rey Juan Carlos GUÍA PARA LA REALIZACIÓN DE LA HOJA DE PROBLEMAS No 3 (Tema 3: Expresiones Regulares)

Más detalles

Tema 5. Análisis sintáctico ascendente

Tema 5. Análisis sintáctico ascendente Tema 5 Análisis sintáctico Ciencias de la Computación e Inteligencia Artificial Índice 5.1 Introducción 5.2 Análisis sintáctico por desplazamiento y reducción 5.3 El autómata reconocedor de prefijos viables

Más detalles

Conceptos básicos sobre gramáticas

Conceptos básicos sobre gramáticas Procesamiento de Lenguajes (PL) Curso 2014/2015 Conceptos básicos sobre gramáticas Gramáticas y lenguajes Gramáticas Dado un alfabeto Σ, un lenguaje es un conjunto (finito o infinito) de cadenas de símbolos

Más detalles

Clase 17: Autómatas de pila

Clase 17: Autómatas de pila Solicitado: Ejercicios 14: Autómatas de pila de GLC M. en C. Edgardo Adrián Franco Martínez http://computacion.cs.cinvestav.mx/~efranco @efranco_escom edfrancom@ipn.mx 1 Contenido Autómata de pila Definición

Más detalles

Analizador Sintáctico Ascendente

Analizador Sintáctico Ascendente Analizador Sintáctico Ascente Un Analizador Sintáctico (A. St.) Ascente construye el árbol desde las hojas hacia la raíz. Funciona por reducción-desplazamiento, lo cual quiere decir que, siempre que puede,

Más detalles

Capítulo 1 Lenguajes formales 6

Capítulo 1 Lenguajes formales 6 Capítulo 1 Lenguajes formales 6 1.8. Operaciones entre lenguajes Puesto que los lenguajes sobre Σ son subconjuntos de Σ, las operaciones usuales entre conjuntos son también operaciones válidas entre lenguajes.

Más detalles

Tema 4: Análisis sintáctico ascendente. Análisis sintáctico ascendente: un ejemplo

Tema 4: Análisis sintáctico ascendente. Análisis sintáctico ascendente: un ejemplo Tema 4: Análisis sintáctico ascendente Procesamiento de enguajes Dept. de enguajes y Sistemas Informáticos Universidad de Alicante Procesamiento de enguajes Tema 4: Análisis sintáctico ascendente 1 / 21

Más detalles

Expresiones Regulares y Derivadas Formales

Expresiones Regulares y Derivadas Formales y Derivadas Formales Las Derivadas Sucesivas. Universidad de Cantabria Esquema 1 2 3 Derivadas Sucesivas Recordemos que los lenguajes de los prefijos dan información sobre los lenguajes. Derivadas Sucesivas

Más detalles

La Ambigüedad en el Parsing

La 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 detalles

Introducción a la Lógica y la Computación

Introducción a la Lógica y la Computación Introducción a la Lógica y la Computación Parte III: Lenguajes y Autómatas Clase del 4 de Noviembre de 2015 Parte III: Lenguajes y Autómatas Introducción a la Lógica y la Computación 1/21 Lenguajes Formales

Más detalles

Sintaxis y Semántica. Tema 3. Sintaxis y Semántica. Expresiones y Lenguajes Regulares. Dr. Luis A. Pineda ISBN:

Sintaxis y Semántica. Tema 3. Sintaxis y Semántica. Expresiones y Lenguajes Regulares. Dr. Luis A. Pineda ISBN: Tema 3 Expresiones y Lenguajes Regulares Dr Luis A Pineda ISBN: 970-32-2972-7 Sintaxis y Semántica En us uso normal, las expresiones lingüística hacen referencia a objetos individuales, así como a sus

Más detalles

ESCUELA INTERNACIONAL DE IDIOMAS Avenida Pedro de Heredia, Calle 49a #31-45, barrio el Libano 6600671

ESCUELA 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 detalles

c-inversa o inversa generalizada de Rao

c-inversa o inversa generalizada de Rao c-inversa o inversa generalizada de Rao Definición.- Sea A m n. Se dice que una matriz A c de orden n m es una c-inversa o inversa generalizada en el sentido de Rao si y sólo si se verifica AA c A = A.

Más detalles

Tema 1: Introducción. Teoría de autómatas y lenguajes formales I

Tema 1: Introducción. Teoría de autómatas y lenguajes formales I Tema 1: Introducción 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 detalles

Expresiones regulares y derivadas

Expresiones regulares y derivadas Expresiones regulares y derivadas Teoría de Lenguajes 1 er cuatrimestre de 2002 1 Expresiones regulares Las expresiones regulares son expresiones que se utilizan para denotar lenguajes regulares. No sirven

Más detalles

Autómatas de Pila y Lenguajes Incontextuales

Autómatas de Pila y Lenguajes Incontextuales Autómatas de Pila y Lenguajes Incontextuales Elvira Mayordomo Universidad de Zaragoza 5 de noviembre de 2012 Contenido de este tema 1. Introducción a los autómatas de pila 2. Definiciones 3. Equivalencia

Más detalles

GRAMÁTICAS LIBRES DE CONTEXTO

GRAMÁTICAS LIBRES DE CONTEXTO GRAMÁTICAS LIBRES DE CONTEXTO Definición Una gramática libre de contexto (GLC) es una descripción estructural precisa de un lenguaje. Formalmente es una tupla G=, donde Vn es el conjunto

Más detalles

1 CÁLCULO CON RADICALES. Nota: Para m = 2, es l raíz cuadrada y el 2 no se escribe.

1 CÁLCULO CON RADICALES. Nota: Para m = 2, es l raíz cuadrada y el 2 no se escribe. DEFINICIÓN : 1 CÁLCULO CON RADICALES ( m 2, 3, 4,.. ) Ejemplo: Nota: Para m 2, es l raíz cuadrada y el 2 no se escribe. SIMPLIFICACIÓN DE RADICALES: Se escribe el radical en forma de potencia, se simplifica

Más detalles

Relaciones. Estructuras Discretas. Relaciones. Relaciones en un Conjunto. Propiedades de Relaciones en A Reflexividad

Relaciones. Estructuras Discretas. Relaciones. Relaciones en un Conjunto. Propiedades de Relaciones en A Reflexividad Estructuras Discretas Relaciones Definición: relación Relaciones Claudio Lobos, Jocelyn Simmonds clobos,jsimmond@inf.utfsm.cl Universidad Técnica Federico Santa María Estructuras Discretas INF 152 Sean

Más detalles

Computabilidad y Lenguajes Formales: Autómatas de Pila

Computabilidad y Lenguajes Formales: Autómatas de Pila 300CIG007 Computabilidad y Lenguajes Formales: Autómatas de Pila Pontificia Universidad Javeriana Cali Ingeniería de Sistemas y Computación Prof. Gloria Inés Alvarez V. Basado en [SIPSER, Chapter 2] Autómatas

Más detalles

Problemas de Espacios Vectoriales

Problemas de Espacios Vectoriales Problemas de Espacios Vectoriales 1. Qué condiciones tiene que cumplir un súbconjunto no vacío de un espacio vectorial para que sea un subespacio vectorial de este? Pon un ejemplo. Sean E un espacio vectorial

Más detalles

Matrices y Sistemas Lineales

Matrices y Sistemas Lineales Matrices y Sistemas Lineales Álvarez S, Caballero MV y Sánchez M a M salvarez@umes, mvictori@umes, marvega@umes 1 ÍNDICE Matemáticas Cero Índice 1 Definiciones 3 11 Matrices 3 12 Sistemas lineales 5 2

Más detalles

Propiedades de los Lenguajes Libres de Contexto

Propiedades 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 detalles

Convertir un AFND a un AFD

Convertir un AFND a un AFD Convertir un AFND a un AFD Existe una equivalencia entre los AFD y AFN, de forma que un autómata M es equivalente a un autómata M' si L(M) ) L(M'). Ejemplo: Los autómatas de la siguiente figura son equivalentes.

Más detalles

Expresiones regulares, gramáticas regulares

Expresiones regulares, gramáticas regulares Expresiones regulares, gramáticas regulares Los LR en la jerarquía de Chomsky La clasificación de lenguajes en clases de lenguajes se debe a N. Chomsky, quien propuso una jerarquía de lenguajes, donde

Más detalles

Teoría de Autómatas y Lenguajes Formales.

Teorí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 detalles

Una cadena sobre Σ es cualquier secuencia de elementos de longitud finita sobre Σ.

Una cadena sobre Σ es cualquier secuencia de elementos de longitud finita sobre Σ. Alfabetos, Cadenas y Lenguajes Definición 1 Un Alfabeto es cualquier conjunto finito, no vacío. Ejemplo 1 Sea Σ = {0, 1, 2, 3,..., 9} donde 0 Σ Definición 2 Una cadena sobre Σ es cualquier secuencia de

Más detalles

Matrices y Sistemas Lineales

Matrices y Sistemas Lineales Matrices y Sistemas Lineales Álvarez S, Caballero MV y Sánchez M a M salvarez@umes, mvictori@umes, marvega@umes Índice 1 Definiciones 3 11 Matrices 3 12 Sistemas lineales 6 2 Herramientas 8 21 Operaciones

Más detalles

1. Define que es un Autómatas finitos determinanticos y cuáles son sus elementos constitutivos (explique cada uno de ellos).

1. Define que es un Autómatas finitos determinanticos y cuáles son sus elementos constitutivos (explique cada uno de ellos). Unidad 2.- Lenguajes Regulares Los lenguajes regulares sobre un alfabeto dado _ son todos los lenguajes que Se pueden formar a partir de los lenguajes básicos?, {_}, {a}, a 2 _, por medio De las operaciones

Más detalles

!"#$%&%#'(!$#')! &*"%+',-%"*.#!"/&#'(!$#!-*"%+' #)%'%(%0*!!1$!"/&#'(!1$#1*!*$!1#'#!"#1!$##*-! *"%+'$#

!#$%&%#'(!$#')! &*%+',-%*.#!/&#'(!$#!-*%+' #)%'%(%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 detalles

Tema 3: Gramáticas regulares. Teoría de autómatas y lenguajes formales I

Tema 3: Gramáticas regulares. Teoría de autómatas y lenguajes formales I Tema 3: Gramáticas regulares 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

Más detalles

La Jerarquía de Chomsky

La Jerarquía de Chomsky La Apuntes sobre la Complejidad Universidad de Cantabria Esquema Motivación 1 Motivación 2 Ideas y Nociones Motivación Como se ha mencionado anteriormente, los lenguajes son conjuntos de palabras definidos

Más detalles

Procesadores de lenguaje

Procesadores de lenguaje Recursivad: ejercicios Obtener las gramáticas que producen: Procesadores de lenguaje jercicios de análisis sintáctico Departamento de Ciencias de la Computación Universad de Alcalá 1. Una o más aes con

Más detalles

Máquinas Secuenciales, Autómatas y Lenguajes. Tema 3.1: Autómatas Finitos Deterministas

Máquinas Secuenciales, Autómatas y Lenguajes. Tema 3.1: Autómatas Finitos Deterministas Tema 3.1: Autómatas Finitos Deterministas Luis Peña luis.pena@urjc.es http://www.ia.urjc.es/cms/es/docencia/ic-msal Sumario Tema 3.1: Autómatas Finitos Deterministas. 1. Concepto de AFD 2. Equivalencia

Más detalles

Expresiones Regulares

Expresiones Regulares Conjuntos Regulares y Una forma diferente de expresar un lenguaje Universidad de Cantabria Conjuntos Regulares y Esquema 1 Motivación 2 Conjuntos Regulares y 3 4 Conjuntos Regulares y Motivación El problema

Más detalles

22, 23 y 24 Análisis sintáctico V Compiladores - Profr. Edgardo Adrián Franco Martínez

22, 23 y 24 Análisis sintáctico V Compiladores - Profr. Edgardo Adrián Franco Martínez 2 Contenido Análisis Sintáctico Ascendente Métodos Ascendentes Método Ascendente SLR Pasos para el método SLR Ejemplo SLR Resumen Ejercicios Compiladores (Análisis Sintáctico VI - Análisis Ascendente -

Más detalles

Tema 5. Análisis semántico

Tema 5. Análisis semántico Departamento de Tecnologías de la Información Tema 5 Análisis semántico Ciencias de la Computación e Inteligencia Artificial Índice 5.1 Características del análisis semántico 5.2 Gramáticas atribuidas

Más detalles

PRÁCTICAS DE EXCEL PARTE 1

PRÁCTICAS DE EXCEL PARTE 1 PRÁCTICA EMPRESARIAL 5TO AÑO PRÁCTICAS DE EXCEL PARTE 1 EJERCICIOS 1 A 5 Tema: Formatos Gestión de Hojas Gestión de Filas y Columnas Ejercicio 1: Trabajar con la planilla Formatos- Manejo de filas y columnas.xls.

Más detalles

Motores de aluminio de aplicación general Tamaños 56-100

Motores de aluminio de aplicación general Tamaños 56-100 3 Motor Nº. V CL. EFF 1 IP Hz r/min kw A IEC 34-1 Cos. kg EFF 1 3 Motor CL. IP IEC 34-1 Nº. V Hz r/min kw A Cos. EFF 1 3 Motor CL. IP IEC 34-1 Nº. V Hz r/min kw A Cos. kg kg Motores de aluminio de aplicación

Más detalles

16 Análisis sintáctico I

16 Análisis sintáctico I 2 Contenido Recordando la estructura de un compilador Recordando el análisis léxico l análisis sintáctico Comparación con el análisis léxico l Rol del Parser Lenguajes de programación Gramáticas structura

Más detalles

Tema 1: Matrices y Determinantes

Tema 1: Matrices y Determinantes Tema 1: Matrices y Determinantes September 14, 2009 1 Matrices Definición 11 Una matriz es un arreglo rectangular de números reales a 11 a 12 a 1m a 21 a 22 a 2m A = a n1 a n2 a nm Se dice que una matriz

Más detalles

Lenguajes (gramáticas y autómatas)

Lenguajes (gramáticas y autómatas) Lenguajes (gramáticas y autómatas) Elvira Mayordomo Universidad de Zaragoza 19 de septiembre de 2013 Elvira Mayordomo (Universidad de Zaragoza) Lenguajes (gramáticas y autómatas) 19 de septiembre de 2013

Más detalles

Preguntas y respuestas para la evaluación continua de TALF 2009/2010

Preguntas y respuestas para la evaluación continua de TALF 2009/2010 Preguntas y respuestas para la evaluación continua de TALF 2009/2010 Dr. Arno Formella Universidade de Vigo Escola Superior de Enxeñaría Informática Departamento de Informática Área de Linguaxes e Sistemas

Más detalles

Capítulo 7: Expresiones Regulares

Capítulo 7: Expresiones Regulares Capítulo 7: Expresiones Regulares 7.1. Concepto de expresión regular 7.1.1. Definición 7.1.2. Lenguaje descrito 7.1.3. Propiedades 7.2. Teoremas de equivalencia 7.2.1. Obtener un AFND a partir de una expresión

Más detalles

Tema: Autómata de Pila

Tema: Autómata de Pila Facultad: Ingeniería Escuela: Computación Asignatura: Compiladores 1 Tema: Autómata de Pila Contenido La presente guía aborda los autómatas de pila, y se enfoca en la aplicación que se le puede dar a estas

Más detalles

5 Autómatas de pila 5.1 Descripción informal. 5.2 Definiciones

5 Autómatas de pila 5.1 Descripción informal. 5.2 Definiciones 1 Curso Básico de Computación 5 Autómatas de pila 5.1 Descripción informal Un autómata de pila es esencialmente un autómata finito que controla una cinta de entrada provista de una cabeza de lectura y

Más detalles

Propiedades de los Lenguajes Libres de Contexto

Propiedades 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 detalles

Inducción en definiciones y demostraciones AUTÓMATAS Y LENGUAJES FORMALES PRELIMINARES MATEMÁTICOS. Números naturales. Inducción matemática

Inducción en definiciones y demostraciones AUTÓMATAS Y LENGUAJES FORMALES PRELIMINARES MATEMÁTICOS. Números naturales. Inducción matemática Inducción en definiciones y demostraciones AUTÓMATAS Y LENGUAJES FORMALES PRELIMINARES MATEMÁTICOS Francisco Hernández Quiroz Departamento de Matemáticas Facultad de Ciencias, UNAM E-mail: fhq@ciencias.unam.mx

Más detalles

Tema 3 Equivalencia. Formas normales.

Tema 3 Equivalencia. Formas normales. Tema 3 Equivalencia. Formas normales. Lógica Proposicional Antonio de J. Pérez Jiménez Departamento Ccia. Lógica Informática Antonio de J. Pérez Jiménez (Departamento Ccia.) Tema 3 Equivalencia. Formas

Más detalles