Curso Básico de Computación

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

Download "Curso Básico de Computación"

Transcripción

1 Curso Básico de Computación 3 Propiedades de los conjuntos regulares Feliú Sagols Troncoso Matemáticas CINVESTAV-IPN 2010 Curso Básico de Computación (Matemáticas) 3 Propiedades de los conjuntos regulares / 53

2 3.1 Lema de Bombeo para conjuntos regulares El lema de bombeo es una herramienta poderosa para probar que ciertos lenguajes son no regulares. Si un lenguaje es regular, éste es aceptado por un AFD M = (Q, Σ,δ, q 0, F) con algún número particular de estados, dijamos n. Considere una entrada con n o más símbolos a 1 a 2 a m, m n, y para i = 1, 2,..., m, seaδ(q 0, a 1 a 2 a i ) = q i. Así existen dos enteros j y k, 0 j< k n, tal que q j = q k. El camino etiquetado a 1 a 2 a m en el diagrama de transición de M se ilustra en la siguiente figura. Como j< k, la cadena a j+1 a k tiene longitud al menos 1, y como k n su longitud no es más que n. Curso Básico de Computación (Matemáticas) 3 Propiedades de los conjuntos regulares / 53

3 a... j + 1 a k q 0 a 1... a j q = q j k a k+1... a m q m Curso Básico de Computación (Matemáticas) 3 Propiedades de los conjuntos regulares / 53

4 Si q m está en F, es decir, a 1 a 2 a m está en L(M), entonces a 1 a 2 a j a k+1 a k+2 a m está en L(M), luego existe un camino de q 0 a q m que pasa por q j pero no alrededor del lazo etiquetado por a j+1 a k. Formalmente: δ(q 0, a 1 a j a k+1 a m ) = δ(δ(q 0, a 1 a j ), a k+1 a m ) =δ(q j, a k+1 a m ) =δ(q k, a k+1 a m ) = q m Curso Básico de Computación (Matemáticas) 3 Propiedades de los conjuntos regulares / 53

5 Así, a 1 a j (a j+1 a k ) i a k+1 a m está en L(M) para cualquier i 0. Con lo anterior, se probó que para cualquier cadena suficientemente grande aceptada por un AF, se puede encontrar una subcadena cerca del inicio de la cadena que pueda ser bombeada", es decir, repetida tantas veces como uno quiera, y la cadena resultante es aceptada por el AF. Formalmente el lema de Bombeo dice: Curso Básico de Computación (Matemáticas) 3 Propiedades de los conjuntos regulares / 53

6 Lema (3.1) Sea L un conjunto regular. Entonces existe una constante n tal que si z es cualquier palabra en L, y z n, se puede escribir z = uvw de tal forma que uv n, v 1, y para toda i 0, uv i w está en L. Además, n no es más grande que el número de estados del AF más pequeño que acepta L. Demostración: En el parrafo anterior sea z = a 1 a 2 a m, u = a 1 a 2 a j, v = a j+1 a k y w = a k+1 a m. Curso Básico de Computación (Matemáticas) 3 Propiedades de los conjuntos regulares / 53

7 Ejemplo: Sea L ={0 i2 i es un entero, i 1}, que consiste de todas las cadena de 0 s cuya longitud es un cuadrado perfecto, no es regular. Supongamos que L es regular y sea n el entero en el Lema de Bombeo. Sea z = 0 n2. Por el Lema de Bombeo, 0 n2 puede escribirse como uvw, donde 1 v n y uv i w está en L para toda i. En particular, sea i = 2. Sin embargo, n 2 < uv 2 w n 2 + n<(n + 1) 2. Es decir, la longitud de uv 2 w está entre n 2 y (n + 1) 2, y así esto no es un cuadrado perfecto. Por lo tanto, uv 2 w no está en L, contradicción. Se concluye que L no es regular. Curso Básico de Computación (Matemáticas) 3 Propiedades de los conjuntos regulares / 53

8 3.2 La propiedad de cerradura para conjuntos regulares Existen muchas operaciones en lenguajes que preservan conjuntos regulares, en el sentido que al aplicar operaciones a conjuntos regulares resultan conjuntos regulares. Por ejemplo, la unión de dos conjuntos regulares es un conjunto regular, al igual la operación concatenación de conjuntos regulares es un conjunto regular y la cerradura de Kleene de un conjunto regular es un conjunto regular. Curso Básico de Computación (Matemáticas) 3 Propiedades de los conjuntos regulares / 53

9 Si una clase de lenguajes es cerrado bajo una operación en particular, se dice que tiene la propiedad de cerradura. En particular nos interesa la propiedad de cerradura efectiva, es decir, si existe un algoritmo para construir una representación para los lenguajes que resultan al aplicar las operaciones a estos lenguajes. Por ejemplo: podemos dar un algoritmo para construir una expresión regular para la unión de dos lenguajes denotados por expresiones regulares, así la clase de conjuntos regulares es cerrada efectivamente bajo la unión. Curso Básico de Computación (Matemáticas) 3 Propiedades de los conjuntos regulares / 53

10 Teorema (3.1) Los conjuntos regulares son cerrados bajo unión, concatenación y cerradura de Kleene. Demostración: Inmediato de la definición de expresiones regulares. Curso Básico de Computación (Matemáticas) 3 Propiedades de los conjuntos regulares / 53

11 Operaciones booleanas Teorema (3.2) La clase de conjuntos regulares es cerrada bajo complementación. Es decir, si L es un conjunto regular y L Σ, entonces Σ L es un conjunto regular. Curso Básico de Computación (Matemáticas) 3 Propiedades de los conjuntos regulares / 53

12 Demostración: Sea L = L(M) para el AFD M = (Q, Σ 1,δ, q 0, F) y sea L Σ. Podemos suponer que Σ 1 = Σ, si hubieran símbolos en Σ 1 Σ, se pueden borrar todas las transiciones de M con símbolos que no están en Σ. El hecho que L Σ nos asegura que por eso no hay que cambiar el lenguaje de M. Si existen símbolos en Σ Σ 1, entonces ninguno de estos símbolos aparecen en palabras de L. Por lo tanto, podemos introducir un estado muerto"d en M conδ(d, a) = d para toda a Σ yδ(q, a) = d para toda q Q y a Σ Σ 1. Ahora, para aceptar Σ L, se complementan de los estado finales de M. Es decir, sea M = (Q, Σ,δ, q 0, Q F). Entonces M acepta una palabra w si y sólo siδ(q 0, w) Q F, es decir, w Σ L. Note que es esencial para la demostración que M sea determinístico y sinǫ movimientos. Curso Básico de Computación (Matemáticas) 3 Propiedades de los conjuntos regulares / 53

13 Teorema (3.3) Los conjuntos regulares son cerrados bajo intersección. Demostración: L 1 L 2 = L 1 L 2, la cerradura bajo intersección se sigue de la cerradura bajo unión y complementación. Curso Básico de Computación (Matemáticas) 3 Propiedades de los conjuntos regulares / 53

14 Substitución y homomorfismo La clase de conjuntos regulares tiene la propiedad de ser cerrada bajo substitución en el siguiente sentido: para cada símbolo a en el alfabeto de algún conjunto regular R, sea R a un conjunto regular particular. Suponga que reemplazamos cada palabra a 1 a 2 a n en R por un conjunto de palabras de la forma w 1 w 2 w n, donde w i es una palabra arbitraria en R ai. Entonces el resultado es siempre un conjunto regular. Formalmente, una substitución f es una transformación de un alfabeto Σ en un subconjunto de, para algún alfabeto. Curso Básico de Computación (Matemáticas) 3 Propiedades de los conjuntos regulares / 53

15 Así f asocia un lenguaje a cada símbolo de Σ. La transformación f se extiende a palabras en Σ : 1) f (ǫ) =ǫ 2) f (xa) = f (x)f (a) La transformación f se extiende a un conjunto regular L con la definición: f (L) = f (x) x L Curso Básico de Computación (Matemáticas) 3 Propiedades de los conjuntos regulares / 53

16 Ejemplo: Sea f (0) = a y f (1) = b. Es decir, f (0) es el lenguaje{a} y f (1) es el lenguaje de todas las cadenas de b s. Entonces f (010) es el conjunto regular ab a. Si L es el lenguaje 0 (0 + 1)1, entonces f (L) es a (a + b )(b ) = a b Curso Básico de Computación (Matemáticas) 3 Propiedades de los conjuntos regulares / 53

17 Teorema (3.4) La clase de conjuntos regulares es cerrada bajo substitución. Demostración: Sea R Σ un conjunto regular y para cada a Σ sea R a un conjunto regular. Sea f : Σ la substitución definida por f (a) = R a. Seleccione una expresión regular denotada por R. Reemplace cada ocurrecia del símbolo a en la expresión regular R por la expresión regular R a. Para probar que el resultado f (R) es una expresión regular, observe que la substitución de la unión, producto, o cerradura es la unión, producto, o cerradura de la substitución. [Así, por ejemplo, f (L 1 L 2 ) = f (L 1 ) f(l 2 )]. Una simple inducción en el número de operadores en la expresión regular completa la demostración. Curso Básico de Computación (Matemáticas) 3 Propiedades de los conjuntos regulares / 53

18 Un tipo de substitución de especial interés es el homomorfismo. Un homomorfismo h es una substitución tal que h(a) contiene una sola cadena para cada a. La imagén del homomorfismo inverso de un lenguaje L es: h 1 (L) ={x h(x) está en L} y para la cadena w h 1 (w) ={x h(x) = w} Curso Básico de Computación (Matemáticas) 3 Propiedades de los conjuntos regulares / 53

19 Ejemplo: Sea h(0) = aa y h(1) = aba. Entonces h(010) = aaabaaa. Si L 1 =(01), entonces h(l 1 ) es (aaaba). Sea L 2 = (ab + ba) a. Entonces h 1 (L 2 ) consiste sólo de la cadena 1. Observe que h(h 1 (L 2 )) ={aba} L 2. Por otro lado, es fácil demostrar que h(h 1 (L)) L y h 1 (h(l)) L para cualquier lenguaje L. Curso Básico de Computación (Matemáticas) 3 Propiedades de los conjuntos regulares / 53

20 Teorema (3.5) La clase de conjuntos regulares es cerrada bajo homomorfismos y homomorfismo inverso. Demostración: La cerradura bajo homomorfismos se sigue de la cerradura bajo substitución, porque cada homomorfismo es una substitución. Para demostrar la cerradura bajo homomorfismo inverso, sea M = (Q, Σ,δ, q 0, F) un AFD que acepta a L, y sea h un homomorfismo de a Σ. Construimos un AFD M que acepte h 1 (L) leyendo un símbolo a y simulando M en h(a). Formalmente, sea M = (Q,,δ, q 0, F) dondeδ (q, a) =δ(q, h(a)) para q Q y a. Curso Básico de Computación (Matemáticas) 3 Propiedades de los conjuntos regulares / 53

21 Es fácil demostrar por inducción sobre x queδ (q 0, x) =δ(q 0, h(x)). Por lo tanto, M acepta a x si y sólo si M acepta a h(x). Es decir, L(M ) = h 1 (L(M)). Tarea: Resolver el ejercicio 2.8 inciso b) del Capitulo 2 del libro de Hopcroft. Curso Básico de Computación (Matemáticas) 3 Propiedades de los conjuntos regulares / 53

22 Cocientes de lenguajes Definimos el cociente de los lenguajes L 1 y L 2, escrito L 1 /L 2, como: {x existe y en L 2 tal que xy está en L 1 } Ejemplo: Sea L 1 = 0 10 y L 2 = Entonces L 1 /L 2 es vacío: como cada y en L 2 tiene dos 1 s y cada cadena xy en L 1 tiene sólo un 1, no existe x tal que xy este en L 1 y y en L 2. Sea L 3 = 0 1. Entonces L 1 /L 3 = 0, porque para cualquier x en 0 se puede escoger y = 1. Claramente xy está en L 1 = 0 10 y y está en L 3 = 0 1. Otro ejemplo, L 2 /L 3 = 10, porque para cada x en 10 se puede escoger y = 1 de L 3 y xy está en L 2 = 10 1, si y sólo si x está en 10. Curso Básico de Computación (Matemáticas) 3 Propiedades de los conjuntos regulares / 53

23 Teorema (3.6) La clase de conjuntos regulares es cerrada bajo cociente con conjuntos arbitrarios. Demostración: Sea M = (Q, Σ,δ, q 0, F) un autómata finito que acepta algún conjunto regular R, y sea L un lenguaje arbitrario. El cociente R/L es aceptado por un autómata finito M = (Q, Σ,δ, q 0, F ), el cual funciona como M excepto que los estados finales de M son todos los estados q de M tales que existe y L para el cualδ(q, y) F. Entoncesδ(q 0, x) F si y sólo si existe y tal queδ(q 0, xy) F. Así, M acepta a R/L. Esta construcción es no efectiva. Curso Básico de Computación (Matemáticas) 3 Propiedades de los conjuntos regulares / 53

24 3.3 Algoritmos de decisión para conjuntos regulares Vacío, finito e infinito Los algoritmos para determinar cuando un conjunto regular es vacío, finito, o infinito se basan en el siguiente Teorema: Curso Básico de Computación (Matemáticas) 3 Propiedades de los conjuntos regulares / 53

25 Teorema (3.7) El conjunto de cadenas aceptadas por un autómata finito M con n estados es: 1) No vacío si y sólo si el autómata finito acepta una cadena de longitud menor que n. 2) infinito si y sólo si el autómata acepta alguna cadena de longitud l, donde n l 2n. Así, existe un algoritmo para determinar cuando un autómata finito acepta cero, o un número finito, o un número infinito de cadenas. Curso Básico de Computación (Matemáticas) 3 Propiedades de los conjuntos regulares / 53

26 Demostración: 1) ( ) Suponga que M acepta un conjunto no vacío. Sea w una palabra tan corta como cualquier otra palabra aceptada. Por el Lema de Bombeo w <n: si w es la más corta y w n, entonces w = uvy, y uy es la palabra más corta en el lenguaje. 2) ( ) Si w L(M) y n w <2n, entonces por el lema de Bombeo, L(M) es infinito. Es decir, w = w 1 w 2 w 3, y para toda i, w 1 w i 2 w 3 L. Curso Básico de Computación (Matemáticas) 3 Propiedades de los conjuntos regulares / 53

27 ( ) Si L(M) es infinito, entonces existe w L(M), donde w n. Si w <2n no se hace nada. Si no hay palabras cuya longitud este entre n y 2n 1, sea w de longitud al menos 2n, pero tan corta como cualquier palabra en L(M) con longitud más grande o igual a 2n. Por el Lema de Bombeo, se puede escribir a w como w = w 1 w 2 w 3 con 1 w 2 n y w 1 w 3 L(M). O w no es la palabra más corta de longitud 2n o más, o w 1 w 3 está entre n y 2n 1, en cualquier caso es una contradicción. Curso Básico de Computación (Matemáticas) 3 Propiedades de los conjuntos regulares / 53

28 Equivalencia Ahora demostraremos que existe un algoritmo para determinar si dos autómatas finitos aceptan el mismo conjunto. Teorema (3.8) Existe un algoritmo para determinar si dos autómatas finitos son equivalentes (es decir, si aceptan el mismo lenguaje). Demostración: Sean M 1 y M 2 autómatas finitos que aceptan L 1 y L 2, respectivamente. Por el teorema 3.1, 3.2 y 3.3, (L 1 L 2 ) ( L 1 L 2 ) es aceptado por algún autómata finito, M 3. Es fácil ver que M 3 acepta una palabra si y sólo si L 1 L 2. Por lo tanto, por el teorema 3.7, existe un algoritmo para determinar si L 1 = L 2. Curso Básico de Computación (Matemáticas) 3 Propiedades de los conjuntos regulares / 53

29 3.4 El Teorema de Myhill-Nerode y la minimización de autómatas finitos A cada lenguaje arbitrario L le asociamos una relación de equivalencia R L ; xr L y si y sólo si para cada z, xz e yz están ambos en L o ambos no están en L. En el peor de los casos, cada cadena es una clase de equivalencia así que en principio pueden existir muchas clases. En particular, el índice (número de clases de equivalencias) es siempre finito si y sólo si L es un conjunto regular. Curso Básico de Computación (Matemáticas) 3 Propiedades de los conjuntos regulares / 53

30 Existen también relaciones de equivalencia similares sobre cadenas asociadas con autómatas finitos. Sea M = (Q, Σ,δ, q 0, F) un AFD. Para x e y en Σ sea xr M y si y sólo siδ(q 0, x) =δ(q 0, y). La relación R M es reflexiva, simetrica y transitiva. R M divide al conjunto Σ en clases de equivalencia. De hecho, si xr M y, entonces xzr M yz para toda z en Σ. Una relación de equivalencia R tal que xry implica xzryz se dice invariante por la derecha (con respecto a la concatenación). Curso Básico de Computación (Matemáticas) 3 Propiedades de los conjuntos regulares / 53

31 Teorema (3.9 Teorema de Myhill-Nerode) Los siguientes tres enunciados son equivalentes: 1 El conjunto L Σ es aceptado por algún AF. 2 L es la unión de algunas de las clases de equivalencia de una relación de equivalencia invariante por la derecha con índice finito. 3 Sea R L una relación de equivalencia definida por: xr L y si y sólo si para toda z Σ, xz L exactamente cuando yz L. Entonces R L es de índice finito. Curso Básico de Computación (Matemáticas) 3 Propiedades de los conjuntos regulares / 53

32 Demostración: (1) (2) Suponga que L es aceptado por algún AFD M = (Q, Σ,δ, q 0, F). Sea R M la relación de equivalencia xr M y si y sólo siδ(q 0, x) =δ(q 0, y). R M es invariante por la derecha ya que, para cualquier z, siδ(q 0, x) =δ(q 0, y), entonces δ(q 0, xz) =δ(q 0, yz). El índice de R M es finito, ya que el índice es a lo más el número de estados en Q. Además, L es la unión de estas clases de equivalencias que incluye una cadena x tal queδ(q 0, x) F, es decir, las clases de equivalencia corresponden a los estados finales. Curso Básico de Computación (Matemáticas) 3 Propiedades de los conjuntos regulares / 53

33 (2) (3) Demostraremos que cualquier relación de equivalencia E que satisface (2) es un refinamiento de R L ; es decir, cada clase de equivalencia de E está enteramente contenida en alguna clase de equivalencia de R L. Así el índice de R L no puede ser más grande que el índice de E y así es finito. Suponga que xey. Entonces como E es invariante por la derecha, para cada z Σ, xzeyz y así yz L si y sólo si xz L. Así xr L y, y por lo tanto la clase de equivalencia de x en E está contenida en la clases de equivalencia de x en R L. Se concluye que cada clase de equivalencia de E está contenida dentro de alguna clase de equivalencia de R L. Curso Básico de Computación (Matemáticas) 3 Propiedades de los conjuntos regulares / 53

34 (3) (1) Primero demostraremos que R L es invariante por la derecha. Suponga que xr L y y sea w Σ. Se debe probar que xwr L yw; es decir, para cualquier z, xwz L exactamente cuando ywz L. Pero como xr L y, y conocemos por definición de R L que para cualquier v, xv L exactamente cuando yv L. Tomando v = wz se prueba que R L es invariante por la derecha. Curso Básico de Computación (Matemáticas) 3 Propiedades de los conjuntos regulares / 53

35 Ahora sea Q el conjunto finito de clases de equivalencias de R L y [x] el elemento de Q que contiene a x. Se defineδ ([x], a) = [xa]. La definición es consistente, ya que R L es invariante por la derecha. Escogemos y en lugar de x de la clase de equivalencia [x] y obtenemosδ ([x], a) = [ya]. Pero xr L y, así xz L exactamente cuando yz L. En particular, si z = az, xaz L exactamente cuando yaz L, así xar L ya, y [xa] = [ya]. Sea q 0 = [ǫ] y sea F ={[x] x L}. El autómata finito M = (Q, Σ,δ, q 0, F ) acepta a L, ya queδ = (q 0, x) = [x], y así x L(M) si y sólo si [x] F. Curso Básico de Computación (Matemáticas) 3 Propiedades de los conjuntos regulares / 53

36 Ejemplo: Sea L el lenguaje L es aceptado por el autómata siguiente: 0 Start a b c 1 0 d e 1 f 0,1 Curso Básico de Computación (Matemáticas) 3 Propiedades de los conjuntos regulares / 53

37 Considere la relación R M definida por M. Todos los estados son alcanzables desde el estado inicial, R M tiene 6 clases de equivalencias: C a = (00), C d = (00) 01 C b = (00) 0, C e = C c = (00) 1, C f = (0 + 1) L es la unión de C c, C d, y C e. La relación R L para L es xr L y si y sólo si: i) x e y no tienen 1 s o ii) x e y tienen un 1 o iii) x e y tienen más de un 1. Curso Básico de Computación (Matemáticas) 3 Propiedades de los conjuntos regulares / 53

38 Por ejemplo: si x = 010 y y = 1000, entonces xz L si y sólo si z = 0. Pero yz L exactamente bajo las mismas condiciones. Se puede denotar las tres clases de equivalencia de R L por C 1 = 0, C 2 = 0 10, y C 3 = (0 + 1). L es el lenguaje que consiste de sólo una de esas tres clases, C 2. La relación de C a, C f con C 1, C 2, C 3 se ilustran en la siguiente figura: C 1 C b C c C 2 C d C a C e C 3 = C f Curso Básico de Computación (Matemáticas) 3 Propiedades de los conjuntos regulares / 53

39 Por ejemplo C a C b = (00) + (00) 0 = 0 = C 1 De R L se puede construir el AFD como sigue: Se escogen cadenas representativas para C 1, C 2, C 3, dijamosǫ, 1 y 11. Entonces M es el siguiente autómata: Curso Básico de Computación (Matemáticas) 3 Propiedades de los conjuntos regulares / 53

40 0 0 0,1 1 1 Start [ e ] [ 1] [ 11] Por ejemplo:δ ([1], 0) = [1], porque si w es cualquier cadena en [1], digamos 0 i 10 j, entonces w0 = 0 i 10 j+1, que también está en C 1 = Curso Básico de Computación (Matemáticas) 3 Propiedades de los conjuntos regulares / 53

41 Minimización de Autómatas Finitos Teorema (3.10) El autómata con número mínimo de estados que acepta un conjunto L es único salvo isomorfismo y está dado por M en la demostración del Teorema 3.9. Demostración: En la demostración del Teorema 3.9 se ve que cualquier AFD M = (Q, Σ,δ, q 0, F) que acepta L define una relación de equivalencia que es un refinamiento de R L. Así el número de estados de M es más grande o igual que el número de estados de M del Teorema 3.9. Si se tiene la igualdad, entonces cada uno de los estados de M puede ser identificado con uno de los estados de M. Es decir, sea q un estado de M. Curso Básico de Computación (Matemáticas) 3 Propiedades de los conjuntos regulares / 53

42 Existe algún x Σ tal queδ(q 0, x) = q, en otro caso se puede quitar q de Q, y encontrar un autómata más pequeño. Identificar a q con el estadoδ (q 0, x) de M. Esta identificación es consistente. Si δ(q 0, x) =δ(q 0, y) = q, entonces por la demostración del Teorema 3.9, x e y están en la misma clase de equivalencia de R L. Así δ (q 0, x) =δ (q 0, y). Curso Básico de Computación (Matemáticas) 3 Propiedades de los conjuntos regulares / 53

43 Algoritmo de minimización Existe un método simple para encontrar el AFD con número mínimo de estados M del Teorema 3.9 y 3.10 equivalente a un AFD M = (Q, Σ,δ, q 0, F). Sea la relación de equivalencia en los estados de M tal que p q si y sólo si para cada entrada x,δ(p, x) es un estado de aceptación si y sólo siδ(q, x) es un estado de aceptación. Si p q, decimos que p es equivalente a q. Decimos que p es distinguible de q si existe un x tal queδ(p, x) F yδ(q, x)/ F, o viceversa. Curso Básico de Computación (Matemáticas) 3 Propiedades de los conjuntos regulares / 53

44 Ejemplo: Sea M el siguiente autómata 0 1 Start a 0 b 1 c 0 d e 1 f 1 g 0 h 1 0 Curso Básico de Computación (Matemáticas) 3 Propiedades de los conjuntos regulares / 53

45 Se tiene que construir una tabla con una entrada para cada par de estados. Se coloca una X en la tabla cada vez que un par de estados no son equivalentes. Inicialmente se coloca una X en cada entrada correspondiente a un estado final y un estado no final. En el ejemplo, colocamos una X en las entradas (a, c), (b, c), (c, d), (c, e), (c, f ), (c, g) y (c, h). Para cada par de estados p y q que no se han identificado como distinguibles, consideramos el par de estados r =δ(p, a) y s =δ(q, a) para cada entrada a. Si se demuestra que los estados s y r son distinguibles para alguna cadena x entonces p y q son distinguibles para cualquier cadena ax. Curso Básico de Computación (Matemáticas) 3 Propiedades de los conjuntos regulares / 53

46 Así, si la entrada (r, s) en la tabla tiene una X, se coloca también una X en la entrada (p, q). Si la entrada (r, s) no tiene X, entonces el par (p, q) es colocado en una lista asociada con la entrada (r, s). Continuando se tienen que si la entrada (r, s) recibe una X entonces cada par en la lista asociada con la entrada (r, s) también recibe una X. En el ejemplo, colocamos una X en la entrada (a, b), porque la entrada (δ(b, 1),δ(a, 1)) = (c, f ) ya tiene una X. Similarmente, la entrada (a, d) recibe una X. Ahora consideremos la entrada (a, e) que con la entrada 0 va a dar al par (b, h), así (a, e) es colocado en la lista asociada con (b, h). Observe que con la entrada 1, a y e van al mismo estado f y por lo tanto no hay cadena con 1 que pueda distinguir a de e. Curso Básico de Computación (Matemáticas) 3 Propiedades de los conjuntos regulares / 53

47 Para el ejemplo, la tabla completa es: b X c X X d X X X e X X X f X X X X g X X X X X X h X X X X X X a b c d e f g Se concluye que los estados equivalentes son a e, b h, y d f y el autómata con número mínimo de estados es el siguiente: Curso Básico de Computación (Matemáticas) 3 Propiedades de los conjuntos regulares / 53

48 Start 0 0 [ a,e] 1 1 [ b,h] 0 [ g] [ c] [ d,f] Curso Básico de Computación (Matemáticas) 3 Propiedades de los conjuntos regulares / 53

49 Lema (3.2) Sea M = (Q, Σ,δ, q 0, F) un AFD. Entonces p es distinguible de q si y sólo si la entrada correspondiente al par (p, q) es marcada por el procedimiento begin 1) for p F y q Q F do marcar (p, q); 2) for cada par de estados distintos (p, q) F F (Q F) (Q F) do 3) if para alguna entrada a, (δ(p, a),δ(q, a)) está marcada then begin Curso Básico de Computación (Matemáticas) 3 Propiedades de los conjuntos regulares / 53

50 4) marcar (p, q); 5) recursivamente marcar todos los pares no marcados en la lista para (p, q) y en la lista de otros pares que son marcados en este paso end else 6) for toda entrada a do 7) poner (p, q) en la lista de (δ(p, a),δ(q, a)) a menos que δ(p, a) =δ(q, a) end Curso Básico de Computación (Matemáticas) 3 Propiedades de los conjuntos regulares / 53

51 Demostración: ) Suponga que p es distinguible de q, y sea x la cadena más chica distinguible de p a q. Se prueba por inducción sobre la longitud de x que la entrada correspondiente al par (p, q) es marcada. ) Por inducción sobre el número de pares marcados se demuestra que si la entrada (p, q) es marcada entonces p y q son distinguibles. Curso Básico de Computación (Matemáticas) 3 Propiedades de los conjuntos regulares / 53

52 Un estado q es accesible en un autómata M ={Q, Σ,δ, q 0, F} si existe una cadena x Σ tal queδ(q 0, x) = q. Si q no es accesible decimos que es inaccesible. Teorema (3.1) El AFD construido por el algoritmo del Lema 3.2, sin estados inaccesible, es el AFD con número mínimo de estados para ese lenguaje. Curso Básico de Computación (Matemáticas) 3 Propiedades de los conjuntos regulares / 53

53 Demostración: Sea M = (Q, Σ,δ, q 0, F) el AFD para el cual se le aplica el algoritmo y M = (Q, Σ,δ, [q 0 ], F ) el AFD construido. Es decir: Q ={[q] q es accesible desde q 0 }, F ={[q] q F} δ ([q], a) = [δ(q, a)]. Es fácil demostrar queδ está bien definida, también es fácil demostrar queδ ([q 0 ], w) = [δ(q 0, w)] por inducción sobre w. Así L(M ) = L(M). Para terminar sólo se tiene que demostrar que M no tiene más estados que el índice de R L donde L = L(M). Así M es el AFD con el número mínimo de estados para L. Curso Básico de Computación (Matemáticas) 3 Propiedades de los conjuntos regulares / 53

Teoría de la Computación Lenguajes Regulares (LR) - Propiedades

Teoría de la Computación Lenguajes Regulares (LR) - Propiedades Teoría de la Computación Lenguajes Regulares (LR) - Propiedades Prof. Hilda Y. Contreras Departamento de Computación hyelitza@ula.ve http://webdelprofesor.ula.ve/ingenieria/hyelitza Objetivo Lenguajes

Más detalles

Otras propiedades de los lenguajes regulares

Otras propiedades de los lenguajes regulares Capítulo 3 Otras propiedades de los lenguajes regulares En los dos capítulos anteriores hemos presentado las propiedades básicas de los lenguajes regulares pero no hemos visto cómo se puede demostrar que

Más detalles

6 Propiedades de los lenguajes libres de contexto 6.1 El Lema de Bombeo para LLC

6 Propiedades de los lenguajes libres de contexto 6.1 El Lema de Bombeo para LLC 1 Curso ásico de Computación 6 Propiedades de los lenguajes libres de contexto 6.1 El Lema de ombeo para LLC El lema de ombeo para LLC nos dice que siempre existe dos subcadenas cortas muy juntas que se

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

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

Lenguaje Regular. Sumario. Lenguaje Regular. Autómatas y Lenguajes Formales. Capítulo 8: Propiedades de los Lenguajes Regulares

Lenguaje Regular. Sumario. Lenguaje Regular. Autómatas y Lenguajes Formales. Capítulo 8: Propiedades de los Lenguajes Regulares Lenguaje Regular Capítulo 8: Propiedades de los Lenguajes Regulares José Miguel Buenaposada Josemiguel.buenaposada@urjc.es Definición 1 (Lenguaje Regular) Un lenguaje L se denomina regular si y sólo si

Más detalles

Máquinas Secuenciales, Autómatas y Lenguajes Tema 5: Propiedades de los Lenguajes Regulares. Luis Peña

Máquinas Secuenciales, Autómatas y Lenguajes Tema 5: Propiedades de los Lenguajes Regulares. Luis Peña Máquinas Secuenciales, Autómatas y Lenguajes Tema 5: Propiedades de los Lenguajes Regulares Luis Peña Lenguaje Regular Definición 1 (Lenguaje Regular) Un lenguaje L se denomina regular si y sólo si existe

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

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

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

Teoría de la Computación para Ingeniería de Sistemas: un enfoque práctico. Hilda Contreras

Teoría de la Computación para Ingeniería de Sistemas: un enfoque práctico. Hilda Contreras Teoría de la Computación para Ingeniería de Sistemas: un enfoque práctico Hilda Contreras 26 de marzo de 2012 2 Índice general 0.1. Propiedades cerradas y algoritmos de decisión................... 3 0.1.1.

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

Lenguajes, Gramáticas y Autómatas Conceptos

Lenguajes, Gramáticas y Autómatas Conceptos Lenguajes, Gramáticas y Autómatas Conceptos Departamento de Informática e Ingeniería de Sistemas C.P.S. Universidad de Zaragoza Última revisión: Febrero. 2004 11/02/2004 1 Índice Alfabetos, palabras y

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

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

Autómatas Finitos Deterministicos (DFA)

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

Lenguajes No Regulares

Lenguajes No Regulares Lenguajes No Regulares Problemas que los Autómatas No Resuelven. Universidad de Cantabria Esquema Lema del Bombeo 1 Lema del Bombeo 2 3 Introducción Todos los lenguajes no son regulares, simplemente hay

Más detalles

Autómatas Mínimos. Encontrar el autómata mínimo. Universidad de Cantabria. Introducción Minimización de Autómatas Deterministas Resultados Algoritmo

Autómatas Mínimos. Encontrar el autómata mínimo. Universidad de Cantabria. Introducción Minimización de Autómatas Deterministas Resultados Algoritmo Autómatas Mínimos Encontrar el autómata mínimo. Universidad de Cantabria Introducción Dado un lenguaje regular sabemos encontrar un autómata finito. Pero, hay autómatas más sencillos que aceptan el mismo

Más detalles

Autómatas Finitos Deterministicos (DFA)

Autó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 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

autómatas finitos y lenguajes regulares LENGUAJES FORMALES Y

autó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 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

Definición 1 Un semigrupo es un conjunto E provisto de una operación binaria asociativa sobre E, se denota por (E, ).

Definición 1 Un semigrupo es un conjunto E provisto de una operación binaria asociativa sobre E, se denota por (E, ). ALGEBRA La primera parte del presente libro está dedicada a las estructuras algebraicas. En esta parte vamos a iniciar agregándole a los conjuntos operaciones. Cuando las operaciones tienen determinadas

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

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

Examen. 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 Examen IIC 2222 Teoría de Autómatas y Lenguajes Formales Segundo Semestre, 2003 Este examen tiene

Más detalles

Coordinación de Ciencias Computacionales INAOE. Teoría de Autómatas y Lenguajes Formales. Temario detallado para examen de ingreso 2012

Coordinación de Ciencias Computacionales INAOE. Teoría de Autómatas y Lenguajes Formales. Temario detallado para examen de ingreso 2012 Coordinación de Ciencias Computacionales INAOE Teoría de Autómatas y Lenguajes Formales Temario detallado para examen de ingreso 2012 1. Autómatas 1.1. Por qué estudiar la teoría de autómatas? 1.1.1. Introducción

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

Autómatas de Pila. Descripciones instantáneas o IDs. El Lenguaje de PDA. Equivalencia entre PDAs y CFGs INAOE (INAOE) 1 / 50

Autómatas de Pila. Descripciones instantáneas o IDs. El Lenguaje de PDA. Equivalencia entre PDAs y CFGs INAOE (INAOE) 1 / 50 INAOE (INAOE) 1 / 50 Contenido 1 2 3 4 (INAOE) 2 / 50 Pushdown Automata Las gramáticas libres de contexto tienen un tipo de autómata que las define llamado pushdown automata. Un pushdown automata (PDA)

Más detalles

Máquinas de Turing IIC3242. IIC3242 Máquinas de Turing 1 / 45

Máquinas de Turing IIC3242. IIC3242 Máquinas de Turing 1 / 45 Máquinas de Turing IIC3242 IIC3242 Máquinas de Turing 1 / 45 Complejidad Computacional Objetivo: Medir la complejidad computacional de un problema. Vale decir: Medir la cantidad de recursos computacionales

Más detalles

Conjuntos. Relaciones. Aplicaciones

Conjuntos. Relaciones. Aplicaciones Conjuntos. Relaciones. Aplicaciones Conjuntos 1. Considera el subconjunto A de números naturales formado por los múltiplos de 4 y el conjunto B N de los números que terminan en 4. Comprueba que A B y B

Más detalles

Máquinas de Turing IIC3242. IIC3242 Máquinas de Turing 1 / 42

Máquinas de Turing IIC3242. IIC3242 Máquinas de Turing 1 / 42 Máquinas de Turing IIC3242 IIC3242 Máquinas de Turing 1 / 42 Complejidad Computacional Objetivo: Medir la complejidad computacional de un problema. Vale decir: Medir la cantidad de recursos computacionales

Más detalles

Conjuntos. Un conjunto es una colección de objetos. Si a es un objeto y R es un conjunto entonces por. a R. se entiende que a pertenece a R.

Conjuntos. Un conjunto es una colección de objetos. Si a es un objeto y R es un conjunto entonces por. a R. se entiende que a pertenece a R. Conjuntos Un conjunto es una colección de objetos. Si a es un objeto y R es un conjunto entonces por se entiende que a pertenece a R. a R Normalmente, podremos definir a un conjunto de dos maneras: Por

Más detalles

Terminaremos el capítulo con una breve referencia a la teoría de cardinales.

Terminaremos el capítulo con una breve referencia a la teoría de cardinales. TEMA 5. CARDINALES 241 Tema 5. Cardinales Terminaremos el capítulo con una breve referencia a la teoría de cardinales. Definición A.5.1. Diremos que el conjunto X tiene el mismo cardinal que el conjunto

Más detalles

06 Análisis léxico II

06 Análisis léxico II 2 Contenido Alfabetos, símbolos y cadenas Operaciones con cadenas Concatenación de dos cadenas Prefijos y sufijos de una cadena Subcadena y subsecuencia Inversión de una cadena Potencia de una cadena Ejercicios

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

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

b) Sea una relación de equivalencia en A y una operación en A. Decimos que y son compatibles si a b a c b c y c a c b para todo a, b, c A

b) Sea una relación de equivalencia en A y una operación en A. Decimos que y son compatibles si a b a c b c y c a c b para todo a, b, c A APENDICE Relaciones y Operaciones Compatibles 1 Definición: a) Sea A un conjunto y una relación entre elementos de A. Decimos que es una relación de equivalencia si es: i Reflexiva: a A, a a. ii Simétrica:

Más detalles

Grupos libres. Presentaciones.

Grupos libres. Presentaciones. S _ Tema 12.- Grupos libres. Presentaciones. 12.1 Grupos libres. En el grupo Z de los enteros vimos una propiedad (cf. ejemplos.5), que lo caracteriza como grupo libre. Lo enunciamos al modo de una Propiedad

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

Computabilidad y Lenguajes Formales: Autómatas Finitos

Computabilidad y Lenguajes Formales: Autómatas Finitos 300CIG007 Computabilidad y Lenguajes Formales: Autómatas Finitos Pontificia Universidad Javeriana Cali Ingeniería de Sistemas y Computación Prof. Gloria Inés Alvarez V. No Determinismo Hasta ahora cada

Más detalles

Paso 1: Autómata. A 1 sin estados inútiles, que reconoce el lenguaje denotado por a a* b*

Paso 1: Autómata. A 1 sin estados inútiles, que reconoce el lenguaje denotado por a a* b* UNIVERSIDAD DE CÓRDOBA ESCUELA POLITÉCNICA SUPERIOR DEPARTAMENTO DE INFORMÁTICA Y ANÁLISIS NUMÉRICO INGENIERÍA TÉCNICA EN INFORMÁTICA DE SISTEMAS SEGUNDO CURSO, SEGUNDO CUATRIMESTRE TEORÍA DE AUTÓMATAS

Más detalles

Números reales. por. Ramón Espinosa

Números reales. por. Ramón Espinosa Números reales por Ramón Espinosa Existe un conjunto R, cuyos elementos son llamados números reales. Los números reales satisfacen ciertas propiedades algebraicas y de orden que describimos a continuación.

Más detalles

ÁLGEBRA I. Curso Grado en Matemáticas

ÁLGEBRA I. Curso Grado en Matemáticas ÁLGEBRA I. Curso 2012-13 Grado en Matemáticas Relación 1: Lógica Proposicional y Teoría de Conjuntos 1. Establecer las siguientes tautologías: (a) A A A (b) A A A (c) A B B A (d) A B B A (e) (A B) C A

Más detalles

Curso Básico de Computación

Curso Básico de Computación Curso Básico de Computación 7 Máquina de Turing Feliú Sagols Troncoso Matemáticas CINVESTAV-IPN 2010 Curso Básico de Computación (Matemáticas) 7 Máquina de Turing 2010 1 / 43

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

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

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

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

El ente básico de la parte de la matemática conocida como ANÁLISIS, lo constituye el llamado sistema de los número reales.

El ente básico de la parte de la matemática conocida como ANÁLISIS, lo constituye el llamado sistema de los número reales. EL SISTEMA DE LOS NÚMEROS REALES Introducción El ente básico de la parte de la matemática conocida como ANÁLISIS, lo constituye el llamado sistema de los número reales. Números tales como:1,3, 3 5, e,

Más detalles

1. Sucesiones. Sucesiones. Compacidad. {( 1) n, n N} = { 1, 1, 1, 1, 1, 1,... } es una sucesión de elementos del conjunto { 1, 1}, y la familia

1. Sucesiones. Sucesiones. Compacidad. {( 1) n, n N} = { 1, 1, 1, 1, 1, 1,... } es una sucesión de elementos del conjunto { 1, 1}, y la familia 1.. De una manera informal, una sucesión es una familia de elementos de un conjunto, ordenada según el índice de los números naturales. Los elementos pueden estar repetidos o no. Por ejemplo la familia

Más detalles

Nuestro objetivo es demostrar que autómata = lógica Qué significa esto? Queremos encontrar una lógica que defina a los lenguajes regulares

Nuestro objetivo es demostrar que autómata = lógica Qué significa esto? Queremos encontrar una lógica que defina a los lenguajes regulares Autómata = Lógica Nuestro objetivo es demostrar que autómata = lógica Qué significa esto? Queremos encontrar una lógica que defina a los lenguajes regulares Pero antes: Vamos a hacer un breve repaso sobre

Más detalles

Inducción Matemática Conjuntos Funciones. Matemática Discreta. Agustín G. Bonifacio UNSL. Repaso de Inducción, Conjuntos y Funciones

Inducción Matemática Conjuntos Funciones. Matemática Discreta. Agustín G. Bonifacio UNSL. Repaso de Inducción, Conjuntos y Funciones UNSL Repaso de Inducción, y Inducción Matemática (Sección 1.7 del libro) Supongamos que queremos demostrar enunciados del siguiente tipo: P(n) : La suma de los primeros n números naturales es n(n+1)

Más detalles

El lema de bombeo para lenguajes regulares

El lema de bombeo para lenguajes regulares El lema de bombeo para lenguajes regulares Lenguajes, Gramáticas y Autómatas, cuarto cuatrimestre (primavera) de Ingeniería en Informática http://webdiis.unizar.es/asignaturas/lga Rubén Béjar Hernández,

Más detalles

Compiladores: Sesión 3. Análisis léxico, expresiones regulares

Compiladores: Sesión 3. Análisis léxico, expresiones regulares Compiladores: Sesión 3. Análisis léxico, expresiones regulares Prof. Gloria Inés Alvarez V. Departamento de Ciencias e Ingeniería de la Computación Pontificia Universidad Javeriana Cali 29 de enero de

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

Sea Σ un alfabeto y L el lenguaje de los palíndromos sobre Σ. Sean a, b dos elementos de Σ. Se demuestra por reducción al absurdo que L no es regular:

Sea Σ un alfabeto y L el lenguaje de los palíndromos sobre Σ. Sean a, b dos elementos de Σ. Se demuestra por reducción al absurdo que L no es regular: Universidad Rey Juan Carlos Grado en Ingeniería de Computadores Máquinas Secuenciales, Autómatas y Lenguajes Hoja de Problemas: Propiedades Lenguajes Regulares Nivel del ejercicio : ( ) básico, ( ) medio,

Más detalles

Es claro que es una relación de equivalencia. Para ver que tener la misma cardinalidad y la cardinalidad están bien definidas queremos ver que

Es claro que es una relación de equivalencia. Para ver que tener la misma cardinalidad y la cardinalidad están bien definidas queremos ver que Capítulo II Cardinalidad Finita II.1. Cardinalidad Definimos I n para n N como I n = {k N : 1 k n}. En particular I 0 =, puesto que 0 < 1. Esto es equivalente a la definición recursiva { si n = 0 I n =

Más detalles

Matemáticas Discretas

Matemáticas Discretas Coordinación de Ciencias Computacionales - INAOE Matemáticas Discretas Cursos Propedéuticos 2011 Ciencias Computacionales INAOE Dr. Enrique Muñoz de Cote jemc@inaoep.mx http://ccc.inaoep.mx/~jemc Oficina

Más detalles

Estructuras Algebraicas

Estructuras Algebraicas Tema 1 Estructuras Algebraicas Definición 1 Sea A un conjunto no vacío Una operación binaria (u operación interna) en A es una aplicación : A A A Es decir, tenemos una regla que a cada par de elementos

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

Ejercicios de Álgebra Básica. Curso 2015/16

Ejercicios de Álgebra Básica. Curso 2015/16 Ejercicios de Álgebra Básica Curso 2015/16 Tema 2: Introducción a la teoría de grupos Propiedades El grupo de las permutaciones Ejercicio 1 Probar que Z con la operación a b = a+b+1 es un grupo Ejercicio

Más detalles

El lema de bombeo y los lenguajes no regulares

El lema de bombeo y los lenguajes no regulares El lema de bombeo y los lenguajes no regulares Elvira Mayordomo Universidad de Zaragoza 22 de octubre de 202 Contenido de este tema Son todos los lenguajes regulares? El lema de bombeo Cómo aplicar el

Más detalles

Equivalencia Entre PDA y CFL

Equivalencia Entre PDA y CFL Equivalencia Entre PDA y CFL El Lenguaje aceptado por un Autómata con Pila Universidad de Cantabria Esquema 1 Introducción 2 3 Lenguaje Aceptado por un Autómata Como en los autómatas finitos, se puede

Más detalles

Relaciones de orden. Definición 1. Llamamos conjunto ordenado a un par (E, ) donde E es un conjunto y es un orden definido en E

Relaciones de orden. Definición 1. Llamamos conjunto ordenado a un par (E, ) donde E es un conjunto y es un orden definido en E Relaciones de orden Diremos que una relación R es de orden si verifica las propiedades reflexiva, antisimétrica y transitiva. Generalmente usaremos la notación en lugar de R para expresar relaciones de

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

ALGEBRA 1- GRUPO CIENCIAS- TURNO TARDE- Enteros

ALGEBRA 1- GRUPO CIENCIAS- TURNO TARDE- Enteros Resumen teoría Prof. Alcón ALGEBRA 1- GRUPO CIENCIAS- TURNO TARDE- Z = N {0} N Enteros Las operaciones + y. son cerradas en Z, es decir la suma de dos números enteros es un número entero y el producto

Más detalles

58 7. ESPACIOS COCIENTE

58 7. ESPACIOS COCIENTE CAPíULO 7 Espacios cociente En esta sección estudiamos el cociente de un espacio vectorial por un subespacio W. Este cociente se define como el conjunto cociente de por una relación de equivalencia conveniente.

Más detalles

AMPLIACIÓN DE MATEMÁTICAS. a = qm + r

AMPLIACIÓN DE MATEMÁTICAS. a = qm + r AMPLIACIÓN DE MATEMÁTICAS CONGRUENCIAS DE ENTEROS. Dado un número natural m N\{0} sabemos (por el Teorema del Resto) que para cualquier entero a Z existe un único resto r de modo que con a = qm + r r {0,

Más detalles

Álgebra y Trigonometría

Álgebra y Trigonometría Álgebra y Trigonometría Conceptos fundamentales del Álgebra Universidad de Antioquia Departamento de Matemáticas 1. Números Reales El conjunto de los números reales está constituido por diferentes clases

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

Espacios compactos. Capítulo Cubiertas. En este capítulo estudiaremos el concepto de compacidad en un espacio métrico.

Espacios compactos. Capítulo Cubiertas. En este capítulo estudiaremos el concepto de compacidad en un espacio métrico. Capítulo 3 Espacios compactos 1. Cubiertas En este capítulo estudiaremos el concepto de compacidad en un espacio métrico. Definición 3.1. Sea (X, d) un espacio métrico y A X. Una cubierta de A es una familia

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

Funciones de Variable Real

Funciones de Variable Real Tema 1 Funciones de Variable Real 1.1. La Recta Real Los números reales se pueden ordenar como los puntos de una recta. Los enteros positivos {1, 2, 3, 4,...} que surgen al contar, se llaman números naturales

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

Lenguajes Regulares. Antonio Falcó. - p. 1

Lenguajes Regulares. Antonio Falcó. - p. 1 Lenguajes Regulares Antonio Falcó - p. 1 Cadenas o palabras I Una cadena o palabra es una sucesión finita de símbolos. cadena {c, a, d, e, n}. 10001 {0, 1} El conjunto de símbolos que empleamos para construir

Más detalles

Ejemplo de demostración de que cierto lenguaje es el lenguaje aceptado por un AFND.

Ejemplo de demostración de que cierto lenguaje es el lenguaje aceptado por un AFND. Ejemplo de demostración de que cierto lenguaje es el lenguaje aceptado por un AFND. Sea el siguiente autómata finito no determinista M: c q0 a b q1 b q2 Sea L = {x {a, b, c} /x es de la forma a(ba) k bc

Más detalles

PRODUCTO CARTESIANO RELACIONES BINARIAS

PRODUCTO CARTESIANO RELACIONES BINARIAS PRODUCTO CARTESIANO RELACIONES BINARIAS Producto Cartesiano El producto cartesiano de dos conjuntos A y B, denotado A B, es el conjunto de todos los posibles pares ordenados cuyo primer componente es un

Más detalles

Matemáticas Discretas TC1003

Matemáticas Discretas TC1003 Matemáticas Discretas TC1003 Relaciones entre Conjuntos: Propiedades Departamento de Matemáticas / Centro de Sistema Inteligentes ITESM Relaciones entre Conjuntos: Propiedades Matemáticas Discretas - p.

Más detalles

Examen de Computabilidad y Complejidad (CMC) 21 de enero de 2011

Examen de Computabilidad y Complejidad (CMC) 21 de enero de 2011 Examen de Computabilidad y Complejidad (CMC) 21 de enero de 2011 (I) CUESTIONES: (Justifique formalmente las respuestas) 1. Es el lenguaje {x {a,b,c}*: x a x b x c } incontextual? El lenguaje dado no es

Más detalles

Álgebra Booleana. Álgebra Booleana. Definiciones. Definiciones. Definiciones. Definiciones. Sistemas Digitales Mario Medina 1

Álgebra Booleana. Álgebra Booleana. Definiciones. Definiciones. Definiciones. Definiciones. Sistemas Digitales Mario Medina 1 Álgebra Booleana Álgebra Booleana Mario Medina C. mariomedina@udec.cl Postulados y axiomas Lemas y teoremas Referencias a otras álgebras Álgebra de Boole: estructura algebraica definida sobre un conjunto

Más detalles

Capítulo 1: Fundamentos: Lógica y Demostraciones Clase 3: Relaciones, Funciones, y Notación Asintótica

Capítulo 1: Fundamentos: Lógica y Demostraciones Clase 3: Relaciones, Funciones, y Notación Asintótica Capítulo 1: Fundamentos: Lógica y Demostraciones Clase 3: Relaciones, Funciones, y Notación Asintótica Matemática Discreta - CC3101 Profesor: Pablo Barceló P. Barceló Matemática Discreta - Cap. 1: Fundamentos:

Más detalles

Tema 2: Los Autómatas y su Comportamiento

Tema 2: Los Autómatas y su Comportamiento Departamento de Computación Universidade da Coruña Bisimulación y procesos concurrentes Tema 2: Los Autómatas y su Comportamiento Carmen Alonso Montes carmen@dc.fi.udc.es Noelia Barreira Rodríguez noelia@dc.fi.udc.es

Más detalles

Definiciones Inductivas

Definiciones Inductivas Definiciones Inductivas Lógica Matemática José de Jesús Lavalle Martínez 24 de junio de 2011 Resumen Este documento es una traducción de partes de la sección 2.3 Inductive Definitions del libro Logic for

Más detalles

Autómatas finitos no deterministas (AFnD)

Autómatas finitos no deterministas (AFnD) Autómatas finitos no deterministas (AFnD) Elvira Mayordomo Universidad de Zaragoza 1 de octubre de 2012 Contenido de este tema Introducción y ejemplos de autómatas finitos no deterministas Definición de

Más detalles

Espacios vectoriales reales.

Espacios vectoriales reales. Tema 3 Espacios vectoriales reales. 3.1 Espacios vectoriales. Definición 3.1 Un espacio vectorial real V es un conjunto de elementos denominados vectores, junto con dos operaciones, una que recibe el nombre

Más detalles

Definición 11.1 Sea f : A E F una aplicación r-veces diferenciable en un punto a A. o

Definición 11.1 Sea f : A E F una aplicación r-veces diferenciable en un punto a A. o Capítulo 11 Teoremas de Taylor Una vez más nos disponemos a extender a las funciones de varias variables resultados ya conocidos para funciones de una variable, los teoremas de aproximación de Taylor.

Más detalles

Teoría de la Computabilidad

Teoría de la Computabilidad Teoría de la Computabilidad Módulo 7: Lenguajes sensibles al contexto 2016 Departamento de Cs. e Ing. de la Computación Universidad Nacional del Sur Bahía Blanca, Argentina Es este programa en Pascal sintácticamente

Más detalles

DIVERSAS REPRESENTACIONES DE UN AUTÓMATA FINITO DETERMINISTA DIVERSE REPRESENTATIONS OF A DETERMINISTIC FINITE AUTOMATON. Humberto Robles Guzmán 1

DIVERSAS REPRESENTACIONES DE UN AUTÓMATA FINITO DETERMINISTA DIVERSE REPRESENTATIONS OF A DETERMINISTIC FINITE AUTOMATON. Humberto Robles Guzmán 1 DIVERSAS REPRESENTACIONES DE UN AUTÓMATA FINITO DETERMINISTA DIVERSE REPRESENTATIONS OF A DETERMINISTIC FINITE AUTOMATON Humberto Robles Guzmán 1 RESUMEN En este artículo se describen las diversas representaciones

Más detalles

Resumen de las clases teóricas del turno tarde a cargo de la Prof. Alcón.

Resumen de las clases teóricas del turno tarde a cargo de la Prof. Alcón. Resumen de las clases teóricas del turno tarde a cargo de la Prof. Alcón. 0.1. Definiciones básicas: subconjunto, conjunto vacío, complemento, conjunto de partes A lo largo de esta sección consideraremos

Más detalles

1. Medida Exterior. Medida de Lebesgue en R n

1. Medida Exterior. Medida de Lebesgue en R n 1. La integral de Lebesgue surge del desarrollo de la integral de Riemann, ante las dificultades encontradas en las propiedades de paso al ĺımite para calcular la integral de una función definida como

Más detalles

Lenguajes y Gramáticas

Lenguajes y Gramáticas Lenguajes y Gramáticas Teoría de Lenguajes Fernando Naranjo Introduccion Se desarrollan lenguajes de programación basados en el principio de gramática formal. Se crean maquinas cada vez mas sofisticadas

Más detalles

TEMA 1: NÚMEROS NATURALES. SISTEMA DE NUMERACIÓN

TEMA 1: NÚMEROS NATURALES. SISTEMA DE NUMERACIÓN 1 TEMA 1: NÚMEROS NATURALES. SISTEMA DE NUMERACIÓN 1. INTRODUCCIÓN Los números naturales aparecen debido a la necesidad que tiene el hombre para contar. Para poder construir este conjunto N, podemos seguir

Más detalles

SUCESIONES DE CAUCHY DE NÚMEROS RACIONALES.

SUCESIONES DE CAUCHY DE NÚMEROS RACIONALES. SUCESIONES DE CAUCHY DE NÚMEROS RACIONALES La construcción más habitual, es la que se utiliza los límites las sucesiones de Cauchy del cuerpo Donde Una sucesión, se dice que es de CAUCHY si satisface:

Más detalles

1. Conjuntos y funciones

1. Conjuntos y funciones Centro de Matemática Facultad de Ciencias Universidad de la República Introducción a la Topología Curso 2016 PRACTICO 1: CONJUNTOS. 1 1. Conjuntos y funciones Ejercicio 1. Si I es un conjunto y A α es

Más detalles

Anillo de polinomios con coeficientes en un cuerpo

Anillo de polinomios con coeficientes en un cuerpo Capítulo 2 Anillo de polinomios con coeficientes en un cuerpo En el conjunto Z se ha visto cómo la relación ser congruente módulo m para un entero m > 1, es compatible con las operaciones suma y producto.

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

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

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

Teoría de Lenguajes. Clase Teórica 8 Propiedades de Lenguajes Independientes de Contexto y su Lema de Pumping Primer cuartimestre 2014

Teoría de Lenguajes. Clase Teórica 8 Propiedades de Lenguajes Independientes de Contexto y su Lema de Pumping Primer cuartimestre 2014 Teoría de Lenguajes Clase Teórica 8 Propiedades de Lenguajes Independientes de Contexto y su Lema de Pumping Primer cuartimestre 2014 Estas notas están basadas en el material compilado por el Profesor

Más detalles

Capítulo 4: Conjuntos

Capítulo 4: Conjuntos Capítulo 4: Conjuntos Miguel Ángel Olalla Acosta miguelolalla@us.es Departamento de Álgebra Universidad de Sevilla Septiembre de 2014 Olalla (Universidad de Sevilla) Capítulo 4: Conjuntos Septiembre de

Más detalles