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

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

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

CONTINUIDAD DE FUNCIONES. SECCIONES A. Definición de función continua. B. Propiedades de las funciones continuas. C. Ejercicios propuestos.

CONTINUIDAD DE FUNCIONES. SECCIONES A. Definición de función continua. B. Propiedades de las funciones continuas. C. Ejercicios propuestos. CAPÍTULO IV. CONTINUIDAD DE FUNCIONES SECCIONES A. Definición de función continua. B. Propiedades de las funciones continuas. C. Ejercicios propuestos. 121 A. DEFINICIÓN DE FUNCIÓN CONTINUA. Una función

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

NOCIONES PRELIMINARES (*) 1

NOCIONES PRELIMINARES (*) 1 CONJUNTOS NOCIONES PRELIMINARES (*) 1 Conjunto no es un término definible, pero da idea de una reunión de cosas ( elementos ) que tienen algo en común. En matemática los conjuntos se designan con letras

Más detalles

Proceso Selectivo para la XXII IMC, Bulgaria

Proceso Selectivo para la XXII IMC, Bulgaria Proceso Selectivo para la XXII IMC, Bulgaria Facultad de Ciencias UNAM Instituto de Matemáticas UNAM SUMEM Indicaciones Espera la indicación para voltear esta hoja. Mientras tanto, lee estas instrucciones

Más detalles

Subespacios Vectoriales

Subespacios Vectoriales Subespacios Vectoriales Prof. Apuntes del Postgrado en Ingeniería 31 Mayo 2008 Subespacio Definición de Subespacio y Ejemplos. Definición Sea H un subconjunto no vacio de un espacio vectorial V(K). Si

Más detalles

CÁLCULO DIFERENCIAL Muestras de examen

CÁLCULO DIFERENCIAL Muestras de examen CÁLCULO DIFERENCIAL Muestras de examen Febrero 2012 T1. [2] Demostrar que la imagen continua de un conjunto compacto es compacto. T2. [2.5] Definir la diferencial de una función en un punto y demostrar

Más detalles

Teoría de anillos. Dominios, cuerpos y cuerpos de fracciones. Característica de un cuerpo.

Teoría de anillos. Dominios, cuerpos y cuerpos de fracciones. Característica de un cuerpo. 1 Tema 5.-. Teoría de anillos. Dominios, cuerpos y cuerpos de fracciones. Característica de un cuerpo. 5.1. Anillos y cuerpos Definición 5.1.1. Un anillo es una terna (A, +, ) formada por un conjunto A

Más detalles

lasmatemáticas.eu Pedro Castro Ortega materiales de matemáticas

lasmatemáticas.eu Pedro Castro Ortega materiales de matemáticas º ESO 1. Expresiones algebraicas En matemáticas es muy común utilizar letras para expresar un resultado general. Por ejemplo, el área de un b h triángulo es base por altura dividido por dos y se expresa

Más detalles

Ciencias de la Computación I

Ciencias de la Computación I Ciencias de la Computación I Propiedades de Clausura de los Lenguajes Regulares y Lenguajes Libres del Contexto Propiedades de Clausura de Lenguajes Regulares Los lenguajes regulares (LR son cerrados bajo

Más detalles

Capítulo 1 Lenguajes formales 6

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

Más detalles

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

TEMA 4: DERIVADAS. En símbolos, la pendiente de la curva en P = lim Q P (pendiente de P Q).

TEMA 4: DERIVADAS. En símbolos, la pendiente de la curva en P = lim Q P (pendiente de P Q). TEMA 4: DERIVADAS 1. La derivada de una función. Reglas de derivación 1.1. La pendiente de una curva. La pendiente de una curva en un punto P es una medida de la inclinación de la curva en ese punto. Si

Más detalles

Los números, operaciones y sus propiedades

Los números, operaciones y sus propiedades Los números, operaciones y sus propiedades Números Reales En principio podemos definir a los números reales como aquellos números que tienen expansión decimal periódica o tienen expansión decimal no periódica.

Más detalles

TEMA I: LOS CONCEPTOS FUNDAMENTALES DE LA TEORÍA DE LA COMPUTABILIDAD

TEMA I: LOS CONCEPTOS FUNDAMENTALES DE LA TEORÍA DE LA COMPUTABILIDAD 1 Asignatura: Lógica 3 Curso 2004-2005 Profesor: Juan José Acero 20 25 de Octubre del 2004 TEMA I: LOS CONCEPTOS FUNDAMENTALES DE LA TEORÍA DE LA COMPUTABILIDAD 1. El concepto de algoritmo. Los matemáticos

Más detalles

SISTEMAS DE ECUACIONES LINEALES

SISTEMAS DE ECUACIONES LINEALES 1 SISTEMAS DE ECUACIONES LINEALES Una ecuación es un enunciado o proposición que plantea la igualdad de dos expresiones, donde al menos una de ellas contiene cantidades desconocidas llamadas variables

Más detalles

A l g o r i t m o s. Seguridad en Internet ALGORITMOS. www.upibi.net

A l g o r i t m o s. Seguridad en Internet ALGORITMOS. www.upibi.net ALGORITMOS Objetivos Introducir el concepto de algoritmo y sus características. Mostrar las diferentes técnicas para representar algoritmos. Introducir la programación estructurada y el diseño descendiente.

Más detalles

Desde la secundaria estamos acostumbrados a trabajar con polinomios, los cuales identificamos con expresiones de la forma

Desde la secundaria estamos acostumbrados a trabajar con polinomios, los cuales identificamos con expresiones de la forma Polinomios Desde la secundaria estamos acostumbrados a trabajar con polinomios, los cuales identificamos con expresiones de la forma p(x) = a 0 + a 1 x +... + a n x n (1) donde x es la variable y a 0,

Más detalles

VALOR ABSOLUTO. Definición.- El valor absoluto de un número real, x, se define como:

VALOR ABSOLUTO. Definición.- El valor absoluto de un número real, x, se define como: VALOR ABSOLUTO Cualquier número a tiene su representación en la recta real. El valor absoluto de un número representa la distancia del punto a al origen. Observe en el dibujo que la distancia del al origen

Más detalles

El cuerpo de los números reales

El cuerpo de los números reales Capítulo 1 El cuerpo de los números reales 1.1. Introducción Existen diversos enfoques para introducir los números reales: uno de ellos parte de los números naturales 1, 2, 3,... utilizándolos para construir

Más detalles

TEMA 2: TEORÍA DE CONJUNTOS Y CONJUNTOS NUMÉRICOS.

TEMA 2: TEORÍA DE CONJUNTOS Y CONJUNTOS NUMÉRICOS. TEMA 2: TEORÍA DE CONJUNTOS Y CONJUNTOS NUMÉRICOS. TEORÍA DE CONJUNTOS. Definiciones. Se define un conjunto como una colección de objetos o cosas, se nombran con letras mayúsculas (A, B...). Cada uno de

Más detalles

Curso Propedéutico de Cálculo Sesión 2: Límites y Continuidad

Curso Propedéutico de Cálculo Sesión 2: Límites y Continuidad y Laterales Curso Propedéutico de Cálculo Sesión 2: y Joaquín Ortega Sánchez Centro de Investigación en Matemáticas, CIMAT Guanajuato, Gto., Mexico y Esquema Laterales 1 Laterales 2 y Esquema Laterales

Más detalles

Lección 8: Potencias con exponentes enteros

Lección 8: Potencias con exponentes enteros GUÍA DE MATEMÁTICAS III Lección 8: Potencias con exponentes enteros Cuando queremos indicar productos de factores iguales, generalmente usamos la notación exponencial. Por ejemplo podemos expresar x, como

Más detalles

Demostración de la Transformada de Laplace

Demostración de la Transformada de Laplace Transformada de Laplace bilateral Demostración de la Transformada de Laplace Transformada Inversa de Laplace En el presente documento trataremos de demostrar matemáticamente cómo puede obtenerse la Transformada

Más detalles

Teoría de Autómatas, Lenguajes Formales y Gramáticas. David Castro Esteban

Teoría de Autómatas, Lenguajes Formales y Gramáticas. David Castro Esteban Teoría de Autómatas, Lenguajes Formales y Gramáticas David Castro Esteban Copyright c 2003 2004 David Castro Esteban. Permission is granted to copy, distribute and/or modify this document under the terms

Más detalles

ESTRUCTURAS ALGEBRAICAS

ESTRUCTURAS ALGEBRAICAS ESTRUCTURAS ALGEBRAICAS Se ha trabajado con números complejos, polinomio y matrices y hemos efectuado con ellos ciertas operaciones: sin embargo no todas las operaciones se comportan de la misma manera,

Más detalles

Inecuaciones y Ecuación cuadrática

Inecuaciones y Ecuación cuadrática Inecuaciones Desigualdades Inecuaciones y Ecuación cuadrática Llamaremos desigualdades a expresiones de la forma a > b, a < b, a b ó a b. Las desigualdades cumplen con las siguientes propiedades: Propiedad

Más detalles

Repaso de Álgebra. Los subconjuntos de los reales de relevancia para nuestra discusión serán denotados según indicamos a continuación:

Repaso de Álgebra. Los subconjuntos de los reales de relevancia para nuestra discusión serán denotados según indicamos a continuación: Repaso de Álgebra Preliminares: En esta sección trabajaremos con los siguientes temas: I Los números reales: racionales e irracionales II Valor absoluto: nociones básicas III Expresiones algebraicas: evaluación,

Más detalles

CURSO BÁSICO DE MATEMÁTICAS PARA ESTUDIANTES DE ECONÓMICAS Y EMPRESARIALES. Unidad didáctica 4. Números reales y números complejos

CURSO BÁSICO DE MATEMÁTICAS PARA ESTUDIANTES DE ECONÓMICAS Y EMPRESARIALES. Unidad didáctica 4. Números reales y números complejos NÚMEROS REALES Como se ha señalado anteriormente la necesidad de resolver diversos problemas de origen aritmético y geométrico lleva a ir ampliando sucesivamente los conjuntos numéricos, N Z Q, y a definir

Más detalles

Teoría de Lenguajes. Teoría de la Programación I

Teoría de Lenguajes. Teoría de la Programación I Teoría de Lenguajes Soluciones Consideraciones generales i) Escriba nombre y C.I. en todas las hojas. ii) Numere todas las hojas. iii) En la primera hoja indique el total de hojas. iv) Comience cada ejercicio

Más detalles

Lección 49. Funciones I. Definición

Lección 49. Funciones I. Definición Lección 49 Funciones I Definición Sean A y B conjuntos. Una función f de A en B es una regla que asigna a cada elemento x A exactamante un elemento y B. El elemento y B, se denota por f (x), y decimos

Más detalles

Unidad 1: Números reales.

Unidad 1: Números reales. Unidad 1: Números reales. 1 Unidad 1: Números reales. 1.- Números racionales e irracionales Números racionales: Son aquellos que se pueden escribir como una fracción. 1. Números enteros 2. Números decimales

Más detalles

Inversas Generalizadas

Inversas Generalizadas Inversas Generalizadas Departamento de Matemáticas, CSI/IESM 5 de abril de 2 Índice.. Inversas generalizadas..........................................2. Uso de la inversa generalizada.....................................

Más detalles

si este límite es finito, y en este caso decimos que f es integrable (impropia)

si este límite es finito, y en este caso decimos que f es integrable (impropia) Capítulo 6 Integrales impropias menudo resulta útil poder integrar funciones que no son acotadas, e incluso integrarlas sobre recintos no acotados. En este capítulo desarrollaremos brevemente una teoría

Más detalles

Divisibilidad y congruencias

Divisibilidad y congruencias Divisibilidad y congruencias Ana Rechtman Bulajich y Carlos Jacob Rubio Barrios Revista Tzaloa, año 1, número 2 Empecemos por explicar el significado de la palabra divisibilidad. En este texto vamos a

Más detalles

Límites de una función

Límites de una función Límites de una función Introducción Comenzaremos a analizar la definición del límite finito de tendencia finita a través de un ejemplo. Consideremos la función f. Observemos su regla de asignación y su

Más detalles

UNIDAD IV CONTENIDO TEMÁTICO

UNIDAD IV CONTENIDO TEMÁTICO UNIDAD IV CONTENIDO TEMÁTICO OPERACIONES CON FRACCIONES ALGEBRAICAS I.S.C. Alejandro de Fuentes Martínez 1 ESQUEMA-RESUMEN RESUMEN DE LA UNIDAD IV Conceptos Mínimo común múltiplo OPERACIONES CON FRACCIONES

Más detalles

Notas del curso de Introducción a los métodos cuantitativos

Notas del curso de Introducción a los métodos cuantitativos Ecuación de segundo grado Una ecuación de segundo grado es aquella que puede reducirse a la forma, ax + bx + c = 0 en la que el coeficiente a debe ser diferente de cero. Sabemos que una ecuación es una

Más detalles

GEOMETRIA ANALITICA- GUIA DE EJERCICIOS DE LA RECTA Y CIRCUNFERENCIA PROF. ANNA LUQUE

GEOMETRIA ANALITICA- GUIA DE EJERCICIOS DE LA RECTA Y CIRCUNFERENCIA PROF. ANNA LUQUE Ejercicios resueltos de la Recta 1. Hallar la ecuación de la recta que pasa por el punto (4. - 1) y tiene un ángulo de inclinación de 135º. SOLUCION: Graficamos La ecuación de la recta se busca por medio

Más detalles

Las redes semánticas intentan trasladar esa afirmación a un formalismo Una red semántica será un grafo donde:

Las redes semánticas intentan trasladar esa afirmación a un formalismo Una red semántica será un grafo donde: Redes Semánticas Redes semánticas La lógica como lenguaje de representación tiene dificultades prácticas Son necesarios mecanismos mas intuitivos y fáciles de usar La psicología cognitiva afirma: La representación

Más detalles

1. El sistema de los números reales

1. El sistema de los números reales 1. El sistema de los números reales Se iniciará definiendo el conjunto de números que conforman a los números reales, en la siguiente figura se muestra la forma en la que están contenidos estos conjuntos

Más detalles

1.5 Límites infinitos

1.5 Límites infinitos SECCIÓN.5 Límites infinitos 8.5 Límites infinitos Determinar ites infinitos por la izquierda por la derecha. Encontrar dibujar las asíntotas verticales de la gráfica de una función., cuando Límites infinitos

Más detalles

En las figuras anteriores vemos algunos casos (no todos) que pueden presentarse al pasar por un punto x 0. (en este caso, para x 0 =2)

En las figuras anteriores vemos algunos casos (no todos) que pueden presentarse al pasar por un punto x 0. (en este caso, para x 0 =2) UNIVERSIDAD DEL VALLE PROFESOR CARLOS IVAN RESTREPO CONTINUIDAD. 1.- Continuidad en un punto. Continuidad lateral..- Continuidad en un intervalo. 3.- Operaciones con funciones continuas 4.- Discontinuidades.

Más detalles

Conjuntos. Dra. Noemí L. Ruiz Limardo Revisado 2011 Derechos Reservados

Conjuntos. Dra. Noemí L. Ruiz Limardo Revisado 2011 Derechos Reservados Conjuntos Dra. Noemí L. Ruiz Limardo Revisado 2011 Derechos Reservados Objetivos de la lección Definir y dar ejemplos de conceptos fundamentales relacionados con conjuntos Conjunto Elementos Simbolismo

Más detalles

CALCULO INTEGRAL CONCEPTOS DE AREA BAJO LA CURVA. (Se utiliza el valor de la función en el extremo izquierdo de cada subintervalo)

CALCULO INTEGRAL CONCEPTOS DE AREA BAJO LA CURVA. (Se utiliza el valor de la función en el extremo izquierdo de cada subintervalo) CALCULO INTEGRAL CONCEPTOS DE AREA BAJO LA CURVA El problema del área, el problema de la distancia tanto el valor del área debajo de la gráfica de una función como la distancia recorrida por un objeto

Más detalles

Apuntes de Matemática Discreta 2. Operaciones con Conjuntos

Apuntes de Matemática Discreta 2. Operaciones con Conjuntos Apuntes de Matemática Discreta 2. Operaciones con Conjuntos Francisco José González Gutiérrez Cádiz, Octubre de 2004 Universidad de Cádiz Departamento de Matemáticas ii Lección 2 Operaciones con Conjuntos

Más detalles

Aversión al riesgo, equivalente cierto y precios de reserva

Aversión al riesgo, equivalente cierto y precios de reserva Aversión al riesgo, equivalente cierto y precios de reserva Ricard Torres ITAM Economía Financiera, 2015 Ricard Torres (ITAM) Aversión al riesgo, equivalente cierto y precios de reserva Economía Financiera

Más detalles

MATEMÁTICAS BÁSICAS UNIVERSIDAD NACIONAL DE COLOMBIA - SEDE MEDELLÍN CLASE #16. f : A! B x 7! y = f(x):

MATEMÁTICAS BÁSICAS UNIVERSIDAD NACIONAL DE COLOMBIA - SEDE MEDELLÍN CLASE #16. f : A! B x 7! y = f(x): MATEMÁTICAS BÁSICAS UNIVERSIDAD NACIONAL DE COLOMBIA - SEDE MEDELLÍN CLASE #16 Función Sean A y B conjuntos. Una función f de A en B es una regla que asigna a cada elemento x 2 A exactamante un elemento

Más detalles

Conjugados Armónicos

Conjugados Armónicos Conjugados Armónicos Sofía Taylor Febrero 2011 1 Puntos Conjugados Armónicos Sean A y B dos puntos en el plano. Sea C un punto en el segmento AB y D uno sobre la prolongación de AB tal que: donde k es

Más detalles

Definición formal de autómatas finitos deterministas AFD

Definición formal de autómatas finitos deterministas AFD inicial. Ejemplo, supóngase que tenemos el autómata de la figura 2.4 y la palabra de entrada bb. El autómata inicia su operación en el estado q 0 (que es el estado inicial). Al recibir la primera b pasa

Más detalles

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

Teoría de la Computación para Ingeniería de Sistemas: un enfoque práctico. Prof. Hilda Contreras Teoría de la Computación para Ingeniería de Sistemas: un enfoque práctico Prof. Hilda Contreras 15 de abril de 2012 2 Índice general 1. Introducción 5 1.1. Marco histórico de la teoría de la computación..................

Más detalles

Ejemplos: Sean los conjuntos: A = { aves} B = { peces } C = { anfibios }

Ejemplos: Sean los conjuntos: A = { aves} B = { peces } C = { anfibios } La Teoría de Conjuntos es una teoría matemática, que estudia básicamente a un cierto tipo de objetos llamados conjuntos y algunas veces, a otros objetos denominados no conjuntos, así como a los problemas

Más detalles

5. INTEGRALES MULTIPLES

5. INTEGRALES MULTIPLES 5. INTEGRALES MULTIPLES INDICE 5 5.. Integrales iteradas. 5.. Definición de integral doble: áreas y volúmenes..3 5.3. Integral doble en coordenadas polares 5 5.4. Aplicaciones de la integral doble (geométricas

Más detalles

En efecto, todo natural, todo número entero, acepta una escritura en forma de fracción:

En efecto, todo natural, todo número entero, acepta una escritura en forma de fracción: Conjuntos Numerícos página 1 Números Racionales domingo, 21 de febrero de 2016 05:33 p.m. En líneas generales, el Conjunto de los Números Racionales, son todos los números que aceptan una escritura en

Más detalles

TEMA II TEORÍA INTUITIVA DE CONJUNTOS

TEMA II TEORÍA INTUITIVA DE CONJUNTOS TEMA II TEORÍA INTUITIVA DE CONJUNTOS Policarpo Abascal Fuentes TEMA II Teoría intuitiva de conjuntos p. 1/4 TEMA II 2. TEORÍA INTUITIVA DE CONJUNTOS 2.1 CONJUNTOS 2.1.1 Operaciones con conjuntos 2.2 RELACIONES

Más detalles

CONJUNTOS. Consideremos, por ejemplo, los siguientes conjuntos:

CONJUNTOS. Consideremos, por ejemplo, los siguientes conjuntos: CONJUNTOS En una Teoría Intuitiva de Conjuntos, los conceptos de conjunto y pertenencia son considerados primitivos, es decir, no se definen de un modo formal; se les acepta como existentes de manera axiomática,

Más detalles

ECUACIONES E INECUACIONES DE PRIMER Y SEGUNDO GRADO

ECUACIONES E INECUACIONES DE PRIMER Y SEGUNDO GRADO Resúmenes de Matemáticas para la E.S.O. ECUACIONES ECUACIONES E INECUACIONES DE PRIMER Y SEGUNDO GRADO 1.- IGUALDADES Y ECUACIONES Las expresiones compuestas de dos miembros enlazados por el signo = se

Más detalles

Módulo 9 Sistema matemático y operaciones binarias

Módulo 9 Sistema matemático y operaciones binarias Módulo 9 Sistema matemático y operaciones binarias OBJETIVO: Identificar los conjuntos de números naturales, enteros, racionales e irracionales; resolver una operación binaria, representar un número racional

Más detalles

MENORES, COFACTORES Y DETERMINANTES

MENORES, COFACTORES Y DETERMINANTES MENORES, COFACTORES Y DETERMINANTES 1. Introducción. 2. Determinante de una matriz de 3 x 3. 3. Menores y cofactores. 4. Determinante de una matriz de n x n. 5. Matriz triangular. 6. Determinante de una

Más detalles

Proposiciones Condicionales

Proposiciones Condicionales SENTENCIAS CONDICIONALES SIMPLES: if- Anteriormente se discutió que una de las estructuras utilizadas en la programación estructurada es la Estructura Selectiva o Condicional. Se explican aquí las sentencias

Más detalles

POLINOMIOS Y FRACCIONES ALGEBRAICAS

POLINOMIOS Y FRACCIONES ALGEBRAICAS POLINOMIOS Y FRACCIONES ALGEBRAICAS Definición de monomio. Expresión algebraica formada por el producto de un número finito de constantes y variables con exponente natural. Al producto de las constantes

Más detalles

Percentil q (p q ) Si en este conjunto de valores se quiere encontrar el percentil 20, la solución gráfica es muy simple

Percentil q (p q ) Si en este conjunto de valores se quiere encontrar el percentil 20, la solución gráfica es muy simple Percentil q (p q ) Una medida de posición muy útil para describir una población, es la denominada 'percentil'. En forma intuitiva podemos decir que es un valor tal que supera un determinado porcentaje

Más detalles

Capítulo 3: El anillo de los números enteros

Capítulo 3: El anillo de los números enteros Capítulo 3: El anillo de los números enteros Miguel Ángel Olalla Acosta miguelolalla@us.es Departamento de Álgebra Universidad de Sevilla Noviembre de 2014 Olalla (Universidad de Sevilla) El anillo de

Más detalles

operaciones inversas Para unificar ambas operaciones, se define la potencia de exponente fraccionario:

operaciones inversas Para unificar ambas operaciones, se define la potencia de exponente fraccionario: Potencias y raíces Potencias y raíces Potencia operaciones inversas Raíz exponente índice 7 = 7 7 7 = 4 4 = 7 base base Para unificar ambas operaciones, se define la potencia de exponente fraccionario:

Más detalles

POLINOMIOS. Matemática Intermedia Profesora Mónica Castro

POLINOMIOS. Matemática Intermedia Profesora Mónica Castro POLINOMIOS Matemática Intermedia Profesora Mónica Castro Objetivos Definir y repasar los conceptos básicos de polinomios. Discutir los distintos métodos de factorización de polinomios. Establecer distintas

Más detalles

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

Teoría de la Computación para Ingeniería de Sistemas: un enfoque práctico. Prof. Hilda Contreras Teoría de la Computación para Ingeniería de Sistemas: un enfoque práctico Prof. Hilda Contreras 25 de abril de 2012 Índice general 1. Expresiones regulares 5 1.0.1. Denición de las expresiones regulares...................

Más detalles

TRA NSFORMACIO N ES LIN EA LES

TRA NSFORMACIO N ES LIN EA LES TRA NSFORMACIO N ES LIN EA LES C o m p uta c i ó n G r á fica Tipos de Datos Geométricos T Un punto se puede representar con tres números reales [x,y,z] que llamaremos vector coordenado. Los números especifican

Más detalles

Tema 2. Sistemas de ecuaciones lineales

Tema 2. Sistemas de ecuaciones lineales Tema 2. Sistemas de ecuaciones lineales Estructura del tema. Definiciones básicas Forma matricial de un sistema de ecuaciones lineales Clasificación de los sistemas según el número de soluciones. Teorema

Más detalles

Programación Lineal (PL)

Programación Lineal (PL) Programación Lineal (PL) Se llama programación lineal al conjunto de técnicas matemáticas que pretenden resolver la siguiente situación. El objetivo es Optimizar, una función objetivo, lo cual implica

Más detalles

ESTRUCTURAS ALGEBRAICAS 1

ESTRUCTURAS ALGEBRAICAS 1 ESTRUCTURAS ALGEBRAICAS Se da la relación entre dos conjuntos mediante el siguiente diagrama: (, ) (2, 3) (, 4) (, 2) (7, 8) (, ) (3, 3) (5, ) (6, ) (, 6)........ 5 6......... 2 5 i) Observa la correspondencia

Más detalles

ÁLGEBRA LINEAL II Algunas soluciones a la práctica 2.3

ÁLGEBRA LINEAL II Algunas soluciones a la práctica 2.3 ÁLGEBRA LINEAL II Algunas soluciones a la práctica 2. Transformaciones ortogonales (Curso 2010 2011) 1. Se considera el espacio vectorial euclídeo IR referido a una base ortonormal. Obtener la expresión

Más detalles

Sistemas Numéricos y Códigos Binarios

Sistemas Numéricos y Códigos Binarios Sistemas Numéricos y Códigos Binarios Marcelo Guarini Departamento de Ingeniería Eléctrica, 5 de Abril, 5 Sistemas Numéricos en Cualquier Base En el sistema decimal, cualquier número puede representarse

Más detalles

PROGRAMACIÓN LINEAL ENTERA

PROGRAMACIÓN LINEAL ENTERA PROGRAMACIÓN LINEAL ENTERA Programación lineal: hipótesis de perfecta divisibilidad Así pues decimos que un problema es de programación lineal entera, cuando prescindiendo de las condiciones de integridad,

Más detalles

LUGAR GEOMÉTRICO DE LAS RAICES (LGR)

LUGAR GEOMÉTRICO DE LAS RAICES (LGR) LUGAR GEOMÉTRICO DE LAS RAICES (LGR) DEFINICIÓN: El lugar geométrico de las raíces es la trayectoria formada por las raíces de una ecuación polinómica cuando un parámetro de ésta varía. En el caso de Sistemas

Más detalles

MODELO ENTIDAD-RELACIÓN

MODELO ENTIDAD-RELACIÓN Modelo Entidad-Relación - 1 - MODELO ENTIDAD-RELACIÓN 1. INTRODUCCIÓN 1.1. VISTA DE LA DATA A DIFERENTES NIVELES En el estudio de un modelo de información se deben identificar los niveles de vista 1ógicos

Más detalles

Productos Notables. Ejercicios de productos y cocientes notables. www.math.com.mx. José de Jesús Angel Angel. jjaa@math.com.mx

Productos Notables. Ejercicios de productos y cocientes notables. www.math.com.mx. José de Jesús Angel Angel. jjaa@math.com.mx Productos Notables Ejercicios de productos y cocientes notables www.math.com.mx José de Jesús Angel Angel jjaa@math.com.mx MathCon c 2007-2008 Contenido 1. Introducción 2 2. El cuadrado de una suma (a

Más detalles

Introducción a la Teoría de Subastas

Introducción a la Teoría de Subastas Introducción a la Teoría de Subastas Correval - Sesión 2 Alvaro J. Riascos Villegas Universidad de los Andes y Quantil Enero 25 de 2012 Alvaro J. Riascos Villegas (Universidad de los Andes Introducción

Más detalles

UNIDAD 14 CONJUNTOS. Objetivo 1. Recordarás la definición de un conjunto y sus elementos.

UNIDAD 14 CONJUNTOS. Objetivo 1. Recordarás la definición de un conjunto y sus elementos. UNIDAD 14 CONJUNTOS Objetivo 1. Recordarás la definición de un conjunto y sus elementos. Ejercicios resueltos: 1. {2, 4, 6} es un conjunto. Los elementos que forman este conjunto son: 2, 4, 6 2. Cuántos

Más detalles

Introducción a la Teoría de Automátas

Introducción a la Teoría de Automátas a la Teoría de Automátas Universidad de Cantabria Primeras Consideraciones Fijar un modelo de cálculo que haga referencia a los fundamentos de la comunicación y el lenguaje. Todo cálculo algorítmico consiste

Más detalles

Algebra Lineal: Aplicaciones a la Física

Algebra Lineal: Aplicaciones a la Física Algebra Lineal: Aplicaciones a la Física Resumen del curso 2014 para Lic. en Física (2 o año), Depto. de Física, UNLP. Prof.: R. Rossignoli 0. Repaso de estructuras algebraicas básicas Un sistema algebraico

Más detalles

Anexo C. Introducción a las series de potencias. Series de potencias

Anexo C. Introducción a las series de potencias. Series de potencias Anexo C Introducción a las series de potencias Este apéndice tiene como objetivo repasar los conceptos relativos a las series de potencias y al desarrollo de una función ne serie de potencias en torno

Más detalles

Combinación lineal, Independencia Lineal, y Vectores que generan (Sección 6.3 pág. 291)

Combinación lineal, Independencia Lineal, y Vectores que generan (Sección 6.3 pág. 291) Combinación lineal, Independencia Lineal, y Vectores que generan (Sección 6.3 pág. 291) I. Combinación Lineal Definición: Sean v 1, v 2, v 3,, v n vectores en el espacio vectorial V. Entonces cualquier

Más detalles

2. SISTEMAS DE ECUACIONES LINEALES. Introducción

2. SISTEMAS DE ECUACIONES LINEALES. Introducción 2. SISTEMAS DE ECUACIONES LINEALES Introducción El presente curso trata sobre álgebra lineal. Al buscarla palabra lineal en un diccionario se encuentra, entre otras definiciones la siguiente: lineal, perteneciente

Más detalles

2. Ortogonalidad. En todo el capítulo trabajaremos sobre un espacio vectorial euclídeo U.

2. Ortogonalidad. En todo el capítulo trabajaremos sobre un espacio vectorial euclídeo U. 2 Ortogonalidad En todo el capítulo trabajaremos sobre un espacio vectorial euclídeo U 1 Vectores ortogonales Definición 11 Dos vectores x, ȳ U se dicen ortogonales si: x ȳ = 0 Veamos algunas propiedades

Más detalles

Teoría de la Computabilidad

Teoría de la Computabilidad LC vs. Regulares Teoría de la Computabilidad GLC APND Módulo 5: Propiedades de lenguajes libres de contexto regulares Libres de Contexto 015 Departamento de Cs. e Ing. de la Computación Universidad Nacional

Más detalles

CONJUNTOS Y RELACIONES BINARIAS

CONJUNTOS Y RELACIONES BINARIAS UNIVERSIDAD CATÓLICA ANDRÉS BELLO FACULTAD DE INGENIERÍA ESCUELA DE INGENIERÍA INFORMÁTICA CÁTEDRA DE LÓGICA COMPUTACIONAL CONJUNTOS Y RELACIONES BINARIAS INTRODUCCIÓN Intuitivamente, un conjunto es una

Más detalles

Capítulo 1. El Conjunto de los números Reales

Capítulo 1. El Conjunto de los números Reales Capítulo El Conjunto de los números Reales Contenido. El conjunto de los números Naturales................................. 4. El conjunto de los números Enteros................................... 4. El

Más detalles

Mecánica Vectorial Cap. 3. Juan Manuel Rodríguez Prieto I.M., M.Sc., Ph.D.

Mecánica Vectorial Cap. 3. Juan Manuel Rodríguez Prieto I.M., M.Sc., Ph.D. Mecánica Vectorial Cap. 3 Juan Manuel Rodríguez Prieto I.M., M.Sc., Ph.D. Cómo tener éxito en Matemáticas? Paso 1: El trabajo duro triunfa sobre el talento natural. Paso 2: Mantenga una mente abierta.

Más detalles

Una (muy) breve introducción a la teoría de la computación

Una (muy) breve introducción a la teoría de la computación Una (muy) breve introducción a la teoría de la computación Marcelo Arenas M. Arenas Una (muy) breve introducción a la teoría de la computación 1 / 48 Ciencia de la computación Cuál es el objeto de estudio

Más detalles

Determinante de una matriz

Determinante de una matriz 25 Matemáticas I : Preliminares Tema 3 Determinante de una matriz 31 Determinante de una matriz cuadrada Definición 67- Sea A una matriz cuadrada de orden n Llamaremos producto elemental en A al producto

Más detalles

Anillos Especiales. 8.1 Conceptos Básicos. Capítulo

Anillos Especiales. 8.1 Conceptos Básicos. Capítulo Capítulo 8 Anillos Especiales 8.1 Conceptos Básicos En este capítulo nos dedicaremos al estudio de algunos anillos especiales que poseen ciertas condiciones adicionales, aparte de las propias de la definición,

Más detalles

Ecuaciones de segundo grado

Ecuaciones de segundo grado Ecuaciones de segundo grado 11 de noviembre 009 Ecuaciones de segundo grado con una incógnita método de solución, formula general e incompletas Algebra Ecuaciones de segundo grado con una incógnita Las

Más detalles

Conjuntos Un conjunto es una colección de objetos. A cada uno de esos objetos se llama elemento del conjunto.

Conjuntos Un conjunto es una colección de objetos. A cada uno de esos objetos se llama elemento del conjunto. 1 TEORÍA DE CONJUNTOS: IDEAS BÁSICAS Conjuntos Un conjunto es una colección de objetos. A cada uno de esos objetos se llama elemento del conjunto. Un conjunto puede darse enumerando todos y cada uno de

Más detalles

4 del tiempo original, pero si hubiera ido. 5 de hora más. Cuál fue en kilómetros la distancia

4 del tiempo original, pero si hubiera ido. 5 de hora más. Cuál fue en kilómetros la distancia BACHILLERATO CO+ 0.- Pedro anduvo una determinada distancia a velocidad constante. Si hubiera ido 0,5 km/h más rápido, habría recorrido la misma distancia en 5 4 del tiempo original, pero si hubiera ido

Más detalles

Teoría Matemática de la Computación Primer Problemario Prof. Miguel A. Pizaña 11 de Octubre de 2006

Teoría Matemática de la Computación Primer Problemario Prof. Miguel A. Pizaña 11 de Octubre de 2006 Teoría Matemática de la Computación Primer Problemario Prof. Miguel A. Pizaña 11 de Octubre de 2006 I Tareas 1. Dudar de todo, al menos una vez en la vida. 2. Revisar sus apuntes todos los días en la tarde

Más detalles

EJERCICIOS RESUELTOS DE GEOMETRÍA ANALÍTICA

EJERCICIOS RESUELTOS DE GEOMETRÍA ANALÍTICA MATEMÁTICAS EJERCICIOS RESUELTOS DE GEOMETRÍA ANALÍTICA GEOMETRÍA ANALÍTICA A Introducción teórica A Módulo y argumento de un vector A Producto escalar A3 Punto medio de un segmento A4 Ecuaciones de la

Más detalles

Hemos visto cómo resolver algunas ecuaciones con regla y compás, aunque nuestra herramienta recomendada por su eficiencia será, de nuevo, Geogebra.

Hemos visto cómo resolver algunas ecuaciones con regla y compás, aunque nuestra herramienta recomendada por su eficiencia será, de nuevo, Geogebra. Más ecuaciones con regla y compás. La ecuación de segundo grado x +ax-a = 0 Hemos visto cómo resolver algunas ecuaciones con regla y compás, aunque nuestra herramienta recomendada por su eficiencia será,

Más detalles

Sistemas de Ecuaciones Lineales

Sistemas de Ecuaciones Lineales Sistemas de Ecuaciones Lineales 1 Sistemas de ecuaciones y matrices Definición 1 Una ecuación lineal en las variables x 1, x 2,..., x n es una ecuación de la forma con a 1, a 2... y b números reales. a

Más detalles