Curso Básico de Computación

Save this PDF as:
 WORD  PNG  TXT  JPG

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Apuntes de Matemática Discreta 8. Relaciones de Equivalencia

Apuntes de Matemática Discreta 8. Relaciones de Equivalencia Apuntes de Matemática Discreta 8. Relaciones de Equivalencia Francisco José González Gutiérrez Cádiz, Octubre de 2004 Universidad de Cádiz Departamento de Matemáticas ii Lección 8 Relaciones de Equivalencia

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

Tema 2: Teorema de estructura de los grupos abelianos finitamente generados.

Tema 2: Teorema de estructura de los grupos abelianos finitamente generados. ESTRUCTURAS ALGEBRAICAS GRADO EN MATEMÁTICAS. CURSO 215/216 Tema 2: Teorema de estructura de los grupos abelianos finitamente generados. 1.1. Grupo abeliano libre. Bases. Definición 1.1. El grupo Z n con

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

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

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

Algebra Lineal XIX: Rango de una Matriz y Matriz Inversa.

Algebra Lineal XIX: Rango de una Matriz y Matriz Inversa. Algebra Lineal XIX: Rango de una Matriz y Matriz Inversa José María Rico Martínez Departamento de Ingeniería Mecánica Facultad de Ingeniería Mecánica Eléctrica y Electrónica Universidad de Guanajuato email:

Más detalles

Semana02[1/23] Conjuntos. 9 de marzo de Conjuntos

Semana02[1/23] Conjuntos. 9 de marzo de Conjuntos Semana02[1/23] 9 de marzo de 2007 Introducción Semana02[2/23] La teoría de conjuntos gira en torno a la función proposicional x A. Los valores que hacen verdadera la función proposicional x A son aquellos

Más detalles

Introducción a los números reales

Introducción a los números reales Grado en Matemáticas Curso 2010-2011 Índice Conjuntos numéricos 1 Conjuntos numéricos Tienen nombre Y cuatro operaciones básicas 2 Teoremas y demostraciones Métodos de demostración 3 4 Objetivos Objetivos

Más detalles

Unidad 4. Autómatas de Pila

Unidad 4. Autómatas de Pila Unidad 4. Autómatas de Pila Una de las limitaciones de los AF es que no pueden reconocer el lenguaje {0 n 1 n } debido a que no se puede registrar para todo n con un número finito de estados. Otro lenguaje

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

1. Sucesiones y redes.

1. Sucesiones y redes. 1. Sucesiones y redes. PRACTICO 7. REDES. Se ha visto que el concepto de sucesión no permite caracterizar algunas nociones topológicas, salvo en espacios métricos. Esto empieza con algunas definiciones

Más detalles

Teoría de Lenguajes. Clase Teórica 7 Autómatas de Pila y Lenguajes Independientes del Contexto Primer cuartimestre 2014

Teoría de Lenguajes. Clase Teórica 7 Autómatas de Pila y Lenguajes Independientes del Contexto Primer cuartimestre 2014 Teoría de Lenguajes Clase Teórica 7 Autómatas de Pila y Lenguajes Independientes del Contexto Primer cuartimestre 2014 aterial compilado por el Profesor Julio Jacobo, a lo largo de distintas ediciones

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

Los Números Enteros. 1.1 Introducción. 1.2 Definiciones Básicas. Capítulo

Los Números Enteros. 1.1 Introducción. 1.2 Definiciones Básicas. Capítulo Los Números Enteros Capítulo 1 1.1 Introducción En este capítulo nos dedicaremos al estudio de los números enteros los cuales son el punto de partida de toda la teoría de números. Estudiaremos una serie

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

SESIÓN N 07 III UNIDAD RELACIONES Y FUNCIONES

SESIÓN N 07 III UNIDAD RELACIONES Y FUNCIONES SESIÓN N 07 III UNIDAD RELACIONES Y FUNCIONES RELACIONES BINARIAS PAR ORDENADO Es un arreglo de dos elementos que tienen un orden determinado donde a es llamada al primera componente y b es llamada la

Más detalles

Semana05[1/14] Relaciones. 28 de marzo de Relaciones

Semana05[1/14] Relaciones. 28 de marzo de Relaciones Semana05[1/14] 28 de marzo de 2007 Introducción Semana05[2/14] Ya en los capítulos anteriores nos acercamos al concepto de relación. Relación Dados un par de conjuntos no vacíos A y B, llamaremos relación

Más detalles

Álgebra y Trigonometría Clase 7 Sistemas de ecuaciones, Matrices y Determinantes

Álgebra y Trigonometría Clase 7 Sistemas de ecuaciones, Matrices y Determinantes Álgebra y Trigonometría Clase 7 Sistemas de ecuaciones, Matrices y Determinantes CNM-108 Departamento de Matemáticas Facultad de Ciencias Exactas y Naturales Universidad de Antioquia Copyleft c 2008. Reproducción

Más detalles

Tema 2. Fundamentos de la Teoría de Lenguajes Formales

Tema 2. Fundamentos de la Teoría de Lenguajes Formales Departamento de Tecnologías de la Información Tema 2. Fundamentos de la Teoría de Lenguajes Formales Ciencias de la Computación e Inteligencia Artificial Índice 2.1. Alfabeto 2.2. Palabra 2.3. Operaciones

Más detalles

Introducción. El uso de los símbolos en matemáticas.

Introducción. El uso de los símbolos en matemáticas. Introducción El uso de los símbolos en matemáticas. En el estudio de las matemáticas lo primero que necesitamos es conocer su lenguaje y, en particular, sus símbolos. Algunos símbolos, que reciben el nombre

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

Espacios Vectoriales www.math.com.mx

Espacios Vectoriales www.math.com.mx Espacios Vectoriales Definiciones básicas de Espacios Vectoriales www.math.com.mx José de Jesús Angel Angel jjaa@math.com.mx MathCon c 007-009 Contenido. Espacios Vectoriales.. Idea Básica de Espacio Vectorial.................................

Más detalles

BLOQUE 1. LOS NÚMEROS

BLOQUE 1. LOS NÚMEROS BLOQUE 1. LOS NÚMEROS Números naturales, enteros y racionales. El número real. Intervalos. Valor absoluto. Tanto el Cálculo como el Álgebra que estudiaremos en esta asignatura, descansan en los números

Más detalles

Conjuntos, relaciones y funciones Susana Puddu

Conjuntos, relaciones y funciones Susana Puddu Susana Puddu 1. Repaso sobre la teoría de conjuntos. Denotaremos por IN al conjunto de los números naturales y por ZZ al de los enteros. Dados dos conjuntos A y B decimos que A está contenido en B o también

Más detalles

Operaciones con conjuntos (ejercicios)

Operaciones con conjuntos (ejercicios) Operaciones con conjuntos (ejercicios) Ejemplo: Definición de la diferencia de conjuntos. Sean y conjuntos. Entonces \ := { x: x x / }. Esto significa que para todo x tenemos la siguiente equivalencia:

Más detalles

Tema 2.- Formas Cuadráticas.

Tema 2.- Formas Cuadráticas. Álgebra. 004 005. Ingenieros Industriales. Departamento de Matemática Aplicada II. Universidad de Sevilla. Tema.- Formas Cuadráticas. Definición y representación matricial. Clasificación de las formas

Más detalles

Clase 03: Alfabetos, símbolos y cadenas

Clase 03: Alfabetos, símbolos y cadenas Solicitado: Ejercicios 01: Cadenas M. en C. Edgardo Adrián Franco Martínez http://computacion.cs.cinvestav.mx/~efranco @efranco_escom edfranco@ipn.mx 1 Contenido Alfabetos, símbolos y cadenas Operaciones

Más detalles

IIC2213. IIC2213 Teorías 1 / 42

IIC2213. IIC2213 Teorías 1 / 42 Teorías IIC2213 IIC2213 Teorías 1 / 42 Qué es una teoría? Una teoría es un cúmulo de información. Debe estar libre de contradicciones. Debe ser cerrada con respecto a lo que se puede deducir de ella. Inicialmente

Más detalles

Espacios conexos. Capítulo Conexidad

Espacios conexos. Capítulo Conexidad Capítulo 5 Espacios conexos 1. Conexidad En este capítulo exploraremos el concepto de conexidad en un espacio métrico, y estudiaremos algunas de sus aplicaciones. Definición 5.1. Decimos que el espacio

Más detalles

Espacios topológicos. 3.1 Espacio topológico

Espacios topológicos. 3.1 Espacio topológico Capítulo 3 Espacios topológicos 3.1 Espacio topológico Definición 3.1.1. Un espacio topológico es un par (X, τ), donde X es un conjunto, y τ es una familia de subconjuntos de X que verifica las siguientes

Más detalles

Semana 09 [1/28] Sucesiones. 29 de abril de Sucesiones

Semana 09 [1/28] Sucesiones. 29 de abril de Sucesiones Semana 09 [1/28] 29 de abril de 2007 Semana 09 [2/28] Definición Sucesión Una sucesión real es una función: f : N R n f (n) Observaciones Para distinguir a una sucesión de las demás funciones, se ocupará

Más detalles

Conjuntos Los conjuntos se emplean en muchas áreas de las matemáticas, de modo que es importante una comprensión de los conjuntos y de su notación.

Conjuntos Los conjuntos se emplean en muchas áreas de las matemáticas, de modo que es importante una comprensión de los conjuntos y de su notación. NÚMEROS REALES Conjuntos Los conjuntos se emplean en muchas áreas de las matemáticas, de modo que es importante una comprensión de los conjuntos y de su notación. Un conjunto es una colección bien definida

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

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

Índice Proposiciones y Conectores Lógicos Tablas de Verdad Lógica de Predicados Inducción

Índice Proposiciones y Conectores Lógicos Tablas de Verdad Lógica de Predicados Inducción Curso 0: Matemáticas y sus Aplicaciones Tema 5. Lógica y Formalismo Matemático Leandro Marín Dpto. de Matemática Aplicada Universidad de Murcia 2012 1 Proposiciones y Conectores Lógicos 2 Tablas de Verdad

Más detalles

Unidad I. Números Reales

Unidad I. Números Reales Unidad I Números Reales 1.1 La Recta Numérica La recta numérica es un gráfico unidimensional de una línea recta en la que los números enteros son mostrados como puntos especialmente marcados que están

Más detalles

Clase 10: Extremos condicionados y multiplicadores de Lagrange

Clase 10: Extremos condicionados y multiplicadores de Lagrange Clase 10: Extremos condicionados y multiplicadores de Lagrange C.J. Vanegas 7 de abril de 008 1. Extremos condicionados y multiplicadores de Lagrange Estamos interesados en maximizar o minimizar una función

Más detalles

8.1 Indecibilidad 8.5 Indecibilidad en el problema de la correspondencia de Post

8.1 Indecibilidad 8.5 Indecibilidad en el problema de la correspondencia de Post 1 Curso Básico de Computación 8.1 Indecibilidad 8.5 Indecibilidad en el problema de la correspondencia de Post Los problemas indecidibles aparecen en varias áreas. En las próximas tres secciones se analizarán

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

Máquinas Secuenciales, Autómatas y Lenguajes Formales. Tema 4: Autómatas finitos deterministas. Holger Billhardt holger.billhardt@urjc.

Máquinas Secuenciales, Autómatas y Lenguajes Formales. Tema 4: Autómatas finitos deterministas. Holger Billhardt holger.billhardt@urjc. Formales Tema 4: Autómatas finitos deterministas Holger Billhardt holger.billhardt@urjc.es Sumario: Bloque 2: Autómatas Finitos 4. Autómatas Finitos Deterministas 1. Concepto y Definición 2. Autómata finito

Más detalles

Apuntes de Teoría de Autómatas y Lenguajes Formales. Gloria Martínez

Apuntes de Teoría de Autómatas y Lenguajes Formales. Gloria Martínez Apuntes de Teoría de Autómatas y Lenguajes Formales Gloria Martínez Luis A. García 11 de octubre de 2005 Índice general 1. Introducción 1 1.1. Alfabetos y Cadenas.............................. 1 1.2.

Más detalles

Combinatoria Básica: Conteo

Combinatoria Básica: Conteo Capítulo III Combinatoria Básica: Conteo En este capítulo continuamos determinando la cardinalidad de varios conjuntos interesantes, en particular, permutaciones y combinaciones. Como parte de esto encontramos

Más detalles

Una topología de los números naturales*

Una topología de los números naturales* Una topología de los números naturales* Divulgación Gabriel Ruiz Hernández Instituto de Matemáticas, UNAM 1 de septimebre de 1997 resumen En este trabajo vamos a describir un espacio topológico X con las

Más detalles

Capítulo 6. Relaciones. Continuar

Capítulo 6. Relaciones. Continuar Capítulo 6. Relaciones Continuar Introducción Una relación es una correspondencia entre dos elementos de dos conjuntos con ciertas propiedades. En computación las relaciones se utilizan en base de datos,

Más detalles

2. SEÑALES Y SISTEMAS DISCRETOS EN EL TIEMPO. Una señal puede ser definida como una portadora física de información. Por ejemplo,

2. SEÑALES Y SISTEMAS DISCRETOS EN EL TIEMPO. Una señal puede ser definida como una portadora física de información. Por ejemplo, 2. SEÑALES Y SISTEMAS DISCRETOS EN EL TIEMPO Una señal puede ser definida como una portadora física de información. Por ejemplo, las señales de audio son variaciones en la presión del aire llevando consigo

Más detalles

Coordinación de Matemática I (MAT021) 1 er Semestre de 2013 Semana 1: Lunes 11 Viernes 16 de Marzo. Contenidos

Coordinación de Matemática I (MAT021) 1 er Semestre de 2013 Semana 1: Lunes 11 Viernes 16 de Marzo. Contenidos Coordinación de Matemática I (MAT021) 1 er Semestre de 2013 Semana 1: Lunes 11 Viernes 16 de Marzo Complementos Contenidos Clase 1: Elementos de lógica: Conectivos, tablas de verdad, tautologías y contingencias.

Más detalles

John Venn Matemático y filósofo británico creador de los diagramas de Venn

John Venn Matemático y filósofo británico creador de los diagramas de Venn Georg Cantor Matemático Alemán creador de la teoría de conjuntos John Venn Matemático y filósofo británico creador de los diagramas de Venn August De Morgan Matemático ingles creador de leyes que llevan

Más detalles

Espacios completos. 8.1 Sucesiones de Cauchy

Espacios completos. 8.1 Sucesiones de Cauchy Capítulo 8 Espacios completos 8.1 Sucesiones de Cauchy Definición 8.1.1 (Sucesión de Cauchy). Diremos que una sucesión (x n ) n=1 en un espacio métrico (X, d) es de Cauchy si para todo ε > 0 existe un

Más detalles

LEX. Las definiciones y subrutinas son opcionales. El segundo %% es opcional pero el primer %% indica el comienzo de las reglas.

LEX. Las definiciones y subrutinas son opcionales. El segundo %% es opcional pero el primer %% indica el comienzo de las reglas. LEX Estructura de un programa en LEX { definiciones { reglas { subrutinas del usuario Las definiciones y subrutinas son opcionales. El segundo es opcional pero el primer indica el comienzo de las reglas.

Más detalles

1 Relaciones de orden

1 Relaciones de orden 1 Relaciones de orden Sea R una relación binaria en un conjunto A. Si R satisface las propiedades reflexiva, antisimétrica y transitiva se dice que R es una relación de orden. En este caso si a y b son

Más detalles

Clase 8 Matrices Álgebra Lineal

Clase 8 Matrices Álgebra Lineal Clase 8 Matrices Álgebra Lineal Código Escuela de Matemáticas - Facultad de Ciencias Universidad Nacional de Colombia Matrices Definición Una matriz es un arreglo rectangular de números denominados entradas

Más detalles

Semana03[1/17] Funciones. 16 de marzo de Funciones

Semana03[1/17] Funciones. 16 de marzo de Funciones Semana03[1/17] 16 de marzo de 2007 Introducción Semana03[2/17] Ya que conocemos el producto cartesiano A B entre dos conjuntos A y B, podemos definir entre ellos algún tipo de correspondencia. Es decir,

Más detalles

En general, un conjunto A se define seleccionando los elementos de un cierto conjunto U de referencia que cumplen una determinada propiedad.

En general, un conjunto A se define seleccionando los elementos de un cierto conjunto U de referencia que cumplen una determinada propiedad. nidad 3: Conjuntos 3.1 Introducción Georg Cantor [1845-1918] formuló de manera individual la teoría de conjuntos a finales del siglo XIX y principios del XX. Su objetivo era el de formalizar las matemáticas

Más detalles

En matemáticas el concepto de conjunto es considerado primitivo y no se da una definición de este, por lo tanto la palabra CONJUNTO debe aceptarse

En matemáticas el concepto de conjunto es considerado primitivo y no se da una definición de este, por lo tanto la palabra CONJUNTO debe aceptarse En matemáticas el concepto de conjunto es considerado primitivo y no se da una definición de este, por lo tanto la palabra CONJUNTO debe aceptarse lógicamente como un término no definido. Un conjunto se

Más detalles

Teorema del Valor Medio

Teorema del Valor Medio Tema 6 Teorema del Valor Medio Abordamos en este tema el estudio del resultado más importante del cálculo diferencial en una variable, el Teorema del Valor Medio, debido al matemático italo-francés Joseph

Más detalles

Álgebras de Boole. Definición 1 Un álgebra de Boole es un conjunto parcialmente ordenado (B, ) que verifica las siguientes condiciones:

Álgebras de Boole. Definición 1 Un álgebra de Boole es un conjunto parcialmente ordenado (B, ) que verifica las siguientes condiciones: Álgebras de Boole Sea (P, ) un conjunto parcialmente ordenado y sea S un subconjunto de P. Una cota superior de S es un elemento c P tal que s c para todo s S. Una cota inferior de S es un elemento d P

Más detalles

Análisis Matemático I: Numeros Reales y Complejos

Análisis Matemático I: Numeros Reales y Complejos Contents : Numeros Reales y Complejos Universidad de Murcia Curso 2008-2009 Contents 1 Definición axiomática de R Objetivos Definición axiomática de R Objetivos 1 Definir (y entender) R introducido axiomáticamente.

Más detalles

6.1. Anillos de polinomios.

6.1. Anillos de polinomios. 1 Tema 6.-. Anillo de polinomios. División y factorización. Lema de Gauss. 6.1. Anillos de polinomios. Definición 6.1.1. Sea A un anillo. El anillo de polinomios en la indeterminada X con coeficientes

Más detalles

MATEMATICAS DISCRETAS

MATEMATICAS DISCRETAS MTEMTICS DISCRETS Propiedad reflexiva Sea R una relación binaria R en, ( ). Definición: Diremos que R es reflexiva si a, a R a Ejemplo: 1) En N la relación R definida por: x R y x divide a y es reflexiva

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

Espacios Topológicos 1. Punto de Acumulación. Al conjunto de puntos de acumulación de A se le denomina el conjunto derivado de A (A a Notación).

Espacios Topológicos 1. Punto de Acumulación. Al conjunto de puntos de acumulación de A se le denomina el conjunto derivado de A (A a Notación). Espacios Topológicos 1 Punto de Acumulación Definición: Sea A un subconjunto arbitrario de R n, se dice que x R n es un punto de acumulación de A si toda bola abierta con centro x contiene un punto A distinto

Más detalles

Conjuntos Infinitos. Ramón Espinoza Armenta AVC APOYO VIRTUAL PARA EL CONOCIMIENTO

Conjuntos Infinitos. Ramón Espinoza Armenta AVC APOYO VIRTUAL PARA EL CONOCIMIENTO Ramón Espinoza Armenta AVC APOYO VIRTUAL PARA EL CONOCIMIENTO El estudio de los conjuntos infinitos se inicia con Las Paradojas del Infinito, la última obra del matemático checo Bernard Bolzano, publicada

Más detalles

Transformaciones lineales y matrices

Transformaciones lineales y matrices CAPíTULO 5 Transformaciones lineales y matrices 1 Matriz asociada a una transformación lineal Supongamos que V y W son espacios vectoriales de dimensión finita y que T : V W es una transformación lineal

Más detalles

Coordinación de Matemática I (MAT021) 1 er Semestre de 2013 Semana 7: Lunes 22 - Viernes 27 de Abril. Contenidos

Coordinación de Matemática I (MAT021) 1 er Semestre de 2013 Semana 7: Lunes 22 - Viernes 27 de Abril. Contenidos Coordinación de Matemática I (MAT01) 1 er Semestre de 013 Semana 7: Lunes - Viernes 7 de Abril Cálculo Contenidos Clase 1: Álgebra de límites. Teorema del Sandwich. Cálculo de límites. Límites trigonométricos.

Más detalles