1. Lenguajes formales.
|
|
- César Serrano Flores
- hace 6 años
- Vistas:
Transcripción
1 Tema 4: Aplicación de los autómatas: Lenguajes formales 1 Tema 4: Aplicación de los autómatas: Lenguajes formales 1. Lenguajes formales. Como se ha indicado en la introducción del tema, el concepto de autómata surgió cuando se modelizó matemáticamente el sistema nueronal humano. Sin embargo, se pueden encontrar conexiones con otras ramas, como por ejemplo los lenguajes formales. Definición. letras. Un alfabeto A es un conjunto finito cuyos elementos se denominan Definición. Un lenguaje L sobre el alfabeto A es un subconjunto de Ω A. A los elementos de L se les denominan palabras. Definición. Un lenguaje L sobre el alfabeto A se dice que es finito si L es finito. Definición. Llamaremos lenguaje vacío sobre el alfabeto A a L =. Debemos distinguir entre L y L Λ = {Λ}, esto es el lenguaje que contiene sólo la palabra vacía. Como ya sabemos en Ω A tenemos definida la operación concatenación. Por ello, cuando nos den una palabra x Ω A, podemos verla como la concatenación de varias palabras, alguna de ellas posiblemente vacías. Así, diremos que y 2 es una subpalabra de x si x = y 1 y 2 y 3, donde y i Ω A. Observamos que y 1 ó y 3 pueden ser la palabra vacía. Si y 1 = Λ, diremos que y 2 es una subpalabra inicial y si y 3 = Λ, diremos que y 2 es una subpalabra final. Ejemplos. L 1 = {Λ, a 1 a 2, a 1, a 2 a 1 } es un lenguaje sobre el alfabeto {a 1, a 2 }. L 2 = {a i 1 i N} es un lenguaje sobre el alfabeto {a 1 }. L 1 es un lenguaje finito y L 2 no. En el conjunto L = { L L es lenguaje sobre el alfabeto A}, podemos definir las siguientes operaciones: 1. Suma de dos lenguajes: Dados L 1, L 2 L, L 1 + L 2 = {x Ω A x L 1 x L 2 }.
2 2 2. Lenguajes regulares 2. Intersección de dos lenguajes: Dados L 1, L 2 L, L 1 L 2 = {x Ω A x L 1 x L 2 }. 3. Complementario de un lenguaje: Dado L 1 L, L c 1 = {x Ω A x L 1 }. 4. Diferencia de dos lenguajes: Dados L 1, L 2 L, Es claro que L 1 L 2 = L 1 L c 2. L 1 L 2 = {x Ω A x L 1 x L 2 }. 5. Concatenación ó producto de dos lenguajes Dados L 1, L 2 L, L 1 L 2 = {x Ω A x = y 1 y 2, y i L i, i = 1, 2}. Es evidente que la concatenación de lenguajes es asociativo por serlo la concatenación de palabras. Además, L y L Λ son elementos cero e identidad para la concatenación de lenguajes sobre el mismo alfabeto. 6. Clausura de un lenguaje: Dado L 1 L, L 1 = L i 1, i=0 donde L i 1 representa el producto de L 1 i veces y L 0 1 = {Λ}. Esto es, la clausura del lenguaje L 1 contiene todas las palabras de Ω A que se pueden obtener como concatenación de palabras de L 1 más la palabra vacía. 2. Lenguajes regulares. Introducimos ahora el concepto de expresión regular. Definición. Una expresión regular sobre el alfabeto A es una palabra de Ω A I, donde I = {+,,, (, )}, satisfaciendo las siguientes condiciones: 1. Cada letra de A y son expresiones regualares. 2. Si α y β son expresiones regulares sobre A, también lo son (α + β), (αβ) y α.
3 Tema 4: Aplicación de los autómatas: Lenguajes formales 3 3. Nada es expresión regular sobre A, salvo que se obtenga tras la aplicación de un número finito de veces de 1. y 2. Ejemplo., ((a 1 + a 2 )(a 1 + a 2 )) y (a 1 + a 2)a 3 son expresiones regulares sobre el alfabeto A, cuando a 1, a 2, a 3 A. Definición. Sea α una expresión regular sobre el alfabeto A. se llama lenguaje asociado a α, y se denota por α, al lenguaje de Ω A que se obtiene de acuerdo a las siguientes condiciones: 1. = L. 2. a A, a = {a}. 3. α, β expresiones regulares sobre A, (α + β) = α + β, (αβ) = α β, α = α. Ejemplo. = {Λ} = L Λ es el lenguaje asociado a la expresión regular. Por otro lado, el lenguaje asociado a la expresión regular a, donde a A, viene dado por a = a = {a i i N}, entendiendo que a 0 = Λ. Definición. Un lenguaje L sobre el alfabeto A se dice que es regular si existe una expresión regular α tal que L = α. Es fácil comprobar que todo lenguaje finito es regular. Puede suceder también que dos expresiones regulares distintas tengan asociado el mismo lenguaje regular. Por ejemplo, las expresiones regulares (a 1 + a 2 ) y (a 1a 2) tienen por lenguaje asociado a Ω A, donde A = {a 1, a 2 }. 3. Relacin entre los lenguajes regulares y los autmatas. Definición. Sea S = (S, E, δ) un semiautómata con estado inicial e 1 y E 1 E. Se llama lenguaje representado por S respecto de E 1 al conjunto L(S, E 1 ) = {x Ω S ˆδ(e 1, x) E 1 }. Es obvio que si E 1 = {e i1,..., e ir }, entonces r L(S, E 1 ) = L(S, e ). j=1
4 4 3. Relacin entre los lenguajes regulares y los autmatas Ejemplo. Consideramos el semiautómata S = (S, E, δ), donde S = a 1, a 2, E = {e 1, e 2, e 3 } y δ : E S E (e 1, a 1 ) e 2 (e 1, a 2 ) e 3 (e 2, a 1 ) e 2 (e 2, a 3 ) e 2 (e 3, a 1 ) e 1 (e 3, a 2 ) e 2 Entonces, L(S, {e 1 }) = {(a 2 a 1 ) i i N {0}}. Observamos que el lenguaje del ejemplo anterior es un lenguaje regular, ya que es el lenguaje asociado a la expresión regular (a 2 a 1 ). En lo que sigue vamos a estudiar la relación existente entre los lenguajes regulares y los lenguajes asociados a semiautómatas. Definición. Sea S = (S, E, δ) un semiautómata y e i, e j E. Diremos que de e i se pasa a e j si existe x Ω S tal que ˆδ(e i, x) = e j. Si x = s 1... s r, entonces a δ(e i, s 1 ), ˆδ(e i, s 1 s 2 ),..., ˆδ(ei, s 1 s 2 s r 1 ) se les llama estados intermedios del paso de e i a e j mediante x. Definición. Sea S = (S, E, δ) un semiautómata tal que E = {e 1,..., e n }, y sean i, j {1,..., n} y k {0, 1,..., n}. Se llama L k = {x Ω S x = s i1... s ir, ˆδ(e i, x) = e j y ˆδ(e i, s i1 s it ) E {e 1,..., e k }, t {1,..., r 1}} entendiendo que si k = 0 la última condición significa que no hay estados intermedios en el paso de e i a e j. Esto es, L 0 = {x Ω S δ(e i, x) = e j y no hay estados intermedios} y L n = {x Ω S δ(e i, x) = e j }. Un caso especial es cuando consideramos L n 1j que coincide con L(S, e j). En lo que sigue vamos a probar que L k es un lenguaje regular. En primer lugar relacionamos L k con L k 1 rs para determinados índices r y s. Lema 3.1. Sea S = (S, E, δ) un semiautómata tal que E = {e 1,..., e n }, y sean i, j, k {1,..., n}. Entonces, L k = L k 1 + L k 1 ( Lk 1 k 1.
5 Tema 4: Aplicación de los autómatas: Lenguajes formales 5 Demostración. L k Lk 1 + L k 1 ( Lk 1 k 1. Sea x L k. Entonces, ˆδ(e i, x) = e j y los estados intermedios que aparecen son pertenecen al conjunto {e 1,..., e k }. Si e k no es estado intermedio, entonces x L k 1. Si e k es un estado intermedio, entonces podemos escribir x = y 1 y 2 y 3, donde y i Ω S y tales que ˆδ(e i, y 1 ) = e k y e k no es estado intermedio ˆδ(e k, y 2 ) = e k y los estados intermedios pertenecen a {e 1,... e k } ˆδ(e k, y 3 ) = e j y e k no es estado intermedio. Por tanto, y 1 L k 1 y y 3 L k 1. A su vez, descomponemos y 2 = z 1... z t de forma que Entonces, y 2 ( L k 1 ). ˆδ(e k, z r ) = e k y e k no es estado intermedio para r = 1,..., t. L k 1 + L k 1 ( Lk 1 k 1 entonces x L k ya que L k 1 ( Lk 1 k 1. Si x L k 1,, entonces podemos descomponer x = y 1 y 2 y 3, donde y 1 L k 1 L k. Sea x L k 1 L k. Si x L k 1, y 2 ( L k 1 ( Lk 1 + L k 1 k 1 ) y y 3 L k. Pero entonces, ˆδ(e i, x) = ˆδ(ˆδ(ˆδ(e i, y 1 ), y 2 ), y 3 ) = ˆδ(ˆδ(e k, y 2 ), y 3 ) = ˆδ(e k, y 3 ) = e j y los estados intermedios que aparecen cuando calculamos ˆδ(e i, y 1 ) pertenecen al conjunto {e 1,..., e k 1 }, ˆδ(e k, y 2 ) pertenecen al conjunto {e 1,..., e k } y ˆδ(e k, y 3 ) pertenecen al conjunto {e 1,..., e k 1 }. Por tanto, x L k. Proposición 3.2. Sea S = (S, E, δ) un semiautómata tal que E = {e 1,..., e n }, y sean i, j {1,..., n} y k {0,..., n}. Entonces, L k es un lenguaje regular. Demostración. (Por inducción sobre k) Si k = 0, entonces L 0 S {Λ} ó L 0 = y en cualquier caso es un lenguaje regular. Supongamos que el resultado es cierto para k < t y veamoslo para k = t. Entonces, por el lema anterior sabemos que L t = L t 1 y empleando inducción, tenemos que L t 1 + L t 1 it ( L t 1 t 1 tt ) L tj, L t 1 it, L tt t 1 y L t 1 tj son lenguajes regulares. Como la suma, concatenación y clausura de lenguajes regulares es regular, se sigue que L t es regular. Como Corolario de esta proposición, tenemos
6 6 3. Relacin entre los lenguajes regulares y los autmatas Corolario 3.3. Sea S = (S, E, δ) un semiautómata tal que E = {e 1,..., e n }. Entonces, L(S, e j es un lenguaje regular para todo j {1,..., n}. Corolario 3.4. Sea S = (S, E, δ) un semiautómata tal que E = {e 1,..., e n } y E 1 E. Entonces, L(S, E 1 ) es un lenguaje regular. Ahora nos falta ver que a partir de un lenguaje regular se puede construir un semiautómata y un subconjunto E 1 de forma que el lenguaje asociado al semiautómata respecto de E 1. En primer lugar, vamos a dar un ejemplo del que extraeremos la estrategia para probar el caso general. Ejemplo. Sea L el lenguaje regular cuya expresión regular viene dada por a(a + b) + abb ab, esto es, L = a(a + b) + abb ab. Paso 1. Transformamos la expresión regular que define L en otra en la que las letras que lo forman aparezcan subindicadas por la posición que ocupan a(a + b) + abb ab a 1 (a 2 + b 3 ) + a 4 b 5 b 6a 7 b 8 A c i le llamaremos descendiente de c, siendo c una de las letras que parece en la expresión regular. Al lenguaje que tiene por expresión regular a la nueva lo denotamos por L 1, esto es, L 1 = a 1 (a 2 + b 3 ) + a 4 b 5 b 6a 7 b 8 Paso 2. Localizamos (i) Pares de letras que aparezcan consecutivas en palabras de L 1. En nuestro caso, P ={(a 1, a 2 ), (a 1, b 3 ), (a 2, a 2 ), (a 2, b 3 ), (b 3, a 2 ), (b 3, b 3 ), (b 4, a 5 ), (a 5, b 6 ), (b 6, b 6 ), (a 5, a 7 ), (b 6, a 7 ), (a 7, b 8 ), (b 8, b 8 )}. (ii) Letras de inicio de palabra. En nuestro caso, I = {a 1, b 4 }. (iii) Letras de final de palabra. En nuestro caso, F = {a 1, a 2, b 3, a 7, b 8 }.
7 Tema 4: Aplicación de los autómatas: Lenguajes formales 7 Paso 3. Se define el semiautómata S = (S, E, δ), donde S es el albabeto del lenguaje L y la función δ y E se definen como sigue: Dado c S, δ(e 1, c) = {descendientes de c que satisfacen 2(ii) } c S δ(e i, c) = {descendientes de c que siguen a alguna letra que aparece en e i } i > 1. En nuestro caso, S = {a, b}, δ(e 1, a) = {a 1 } = e 2 δ(e 1, b) = {b 4 } = e 3 δ(e 2, a) = {a 2 } = e 4 δ(e 2, b) = {b 3 } = e 5 δ(e 3, a) = {a 5 } = e 6 δ(e 3, b) = = e 7 δ(e 4, a) = {a 2 } = e 4 δ(e 4, b) = {b 3 } = e 5 δ(e 5, a) = {a 2 } = e 4 δ(e 5, b) = {b 3 } = e 5 δ(e 6, a) = {a 7 } = e 8 δ(e 6, b) = {b 6 } = e 9 δ(e 7, a) = = e 7 δ(e 7, b) = = e 7 δ(e 8, a) = = e 7 δ(e 7, b) = {b 8 } = e 10 δ(e 9, a) = {a 7 } = e 8 δ(e 9, b) = {b 6 } = e 9 δ(e 10, a) = = e 7 δ(e 10, b) = {b 8 } = e 10 y E = {e 1,..., e 10 }. Paso 4. Se toma como E 1 al subconjunto de estados de E tales que en su definición contienen al menos una letra final de palabra de L 1. En nuestro caso, E 1 = {e 2, e 4, e 5, e 8, e 10 }. Siguiendo estos mismos pasos, se prueba Proposición 3.5. Sea L un lenguaje regular. Entonces, existe S = (S, E, δ) y E 1 E tal que L = L(S, E 1 ).
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 detallesEspacios 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 detallesEspacios Vectoriales
Espacios Vectoriales Espacios Vectoriales Verónica Briceño V. noviembre 2013 Verónica Briceño V. () Espacios Vectoriales noviembre 2013 1 / 47 En esta Presentación... En esta Presentación veremos: Espacios
Más detallesExpresiones 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 detallesLenguajes, 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 detallesALGEBRA 1- GRUPO CIENCIAS- TURNO TARDE- Espacios vectoriales
Resumen teoría Prof. Alcón ALGEBRA 1- GRUPO CIENCIAS- TURNO TARDE- Espacios vectoriales Sea (K, +,.) un cuerpo con característica 0. Podemos pensar K = Q, R o C. Si V es un conjunto cualquiera en el que
Más detallesExpresiones 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 detallesGrupos 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 detallesTema 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 detallesInducció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 detallesAlgebra Lineal. Gustavo Rodríguez Gómez. Verano 2011 INAOE. Gustavo Rodríguez Gómez (INAOE) Algebra Lineal Verano / 21
Algebra Lineal Gustavo Rodríguez Gómez INAOE Verano 2011 Gustavo Rodríguez Gómez (INAOE) Algebra Lineal Verano 2011 1 / 21 Espacios Vectoriales Espacios Vectoriales INAOE Gustavo Rodríguez Gómez (INAOE)
Más detallesTerminaremos 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 detallesEstructuras 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 detallesDemostraciones a Teoremas de Límites
Demostraciones a Teoremas de Límites Programa de Bachillerato.Universidad de Chile. Otoño, 009 En esta sección solo daremos los fundamentos teóricos que nos permiten resolver los problemas que se nos plantean,
Más detallesProblemas de Espacios Vectoriales
Problemas de Espacios Vectoriales 1. Qué condiciones tiene que cumplir un súbconjunto no vacío de un espacio vectorial para que sea un subespacio vectorial de este? Pon un ejemplo. Sean E un espacio vectorial
Más detallesAnálisis Matemático I: La integral de Riemann
Contents : La integral de Riemann Universidad de Murcia Curso 2006-2007 Contents 1 Definición de la integral y propiedades Objetivos Definición de la integral y propiedades Objetivos 1 Definir y entender
Más detallesConstrucción de bases en la suma y la intersección de subespacios (ejemplo)
Construcción de bases en la suma y la intersección de subespacios (ejemplo) Objetivos Aprender a construir bases en S + S y S S, donde S y S están dados como subespacios generados por ciertos vectores
Más detallesEspacios 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 detallesLenguajes 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 detallesTEMA 8.- NORMAS DE MATRICES Y
Álgebra II: Tema 8. TEMA 8.- NORMAS DE MATRICES Y NúMERO DE CONDICIóN Índice. Introducción 2. Norma vectorial y norma matricial. 2 2.. Norma matricial inducida por normas vectoriales......... 4 2.2. Algunos
Más detallesTema 3: Espacios vectoriales
Tema 3: Espacios vectoriales K denotará un cuerpo. Definición. Se dice que un conjunto no vacio V es un espacio vectorial sobre K o que es un K-espacio vectorial si: 1. En V está definida una operación
Más detallesEspacios Vectoriales
Leandro Marín Octubre 2010 Índice Definición y Ejemplos Paramétricas vs. Impĺıcitas Bases y Coordenadas Para definir un espacio vectorial tenemos que empezar determinando un cuerpo sobre el que esté definido
Más detallesSobre la Construcción Axiomática de los Números Naturales
Sobre la Construcción Axiomática de los Números Naturales Dr. Rafael Labarca Briones Profesor de Matemáticas. Universidad de Santiago de Chile. Charla dictadas en las EMALCAS de Arequipa, La Paz y Quito.
Más detalles1 NOCIONES BÁSICAS SOBRE CONJUNTOS. SÍMBOLOS.
UNIDAD 1.- CONCEPTOS REQUERIDOS CONJUNTOS. AXIOMAS DE PERTENENCIA, PARALELISMO, ORDEN Y PARTICIÓN. 1 NOCIONES BÁSICAS SOBRE CONJUNTOS. SÍMBOLOS. 1.1 Determinaciones de un conjunto. Un conjunto queda determinado
Más detallesUNIDAD II: TEORÍA DE CONJUNTOS 2.1. INTRODUCCIÓN
UNDD : TEORÍ DE CONJUNTOS 2.1. NTRODUCCÓN Según Georg Cantor un conjunto es la reunión, agrupación o colección de elementos bien definidos que tienen una propiedad en común, concepto que ha penetrado y
Más detallesMMAF: Espacios normados y espacios de Banach
MMAF: Espacios normados y espacios de Banach Licenciatura en Estadística R. Álvarez-Nodarse Universidad de Sevilla Curso 2011/2012 Espacios vectoriales Definición Sea V un conjunto de elementos sobre el
Más detallesÁLGEBRA LINEAL I Algunas soluciones a la Práctica 3
ÁLGEBRA LINEAL I Algunas soluciones a la Práctica 3 Matrices y determinantes (Curso 2011 2012) 2. Sea A una matriz diagonal n n y supongamos que todos los elementos de su diagonal son distintos entre sí.
Más detallesRecordemos que utilizaremos, como es habitual, la siguiente notación para algunos conjuntos de números que son básicos.
Capítulo 1 Preliminares Vamos a ver en este primer capítulo de preliminares algunos conceptos, ideas y propiedades que serán muy útiles para el desarrollo de la asignatura. Se trata de resultados sobre
Más detallesMODELOS DE COMPUTACION I Preguntas Tipo Test. 1. El lema de bombeo puede usarse para demostrar que un lenguaje determinado es regular.
MODELOS DE COMPUTACION I Preguntas Tipo Test Indicar si son verdaderas o falsas las siguientes afirmaciones: 1. El lema de bombeo puede usarse para demostrar que un lenguaje determinado es regular. 2.
Más detallesAutó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 detallesCapítulo 7. Espacios vectoriales. 7.1 Definición y ejemplos
Capítulo Espacios vectoriales.1 Definición y ejemplos Un espacio vectorial sobre un cuerpo K (que supondremos conmutativo es un conjunto no vacío junto con 1. una operación interna, +, a la que llamaremos
Más detallesConjuntos, 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 detallesApéndice sobre ecuaciones diferenciales lineales
Apéndice sobre ecuaciones diferenciales lineales Juan-Miguel Gracia 10 de febrero de 2008 Índice 2 Determinante wronskiano. Wronskiano de f 1 (t), f 2 (t),..., f n (t). Derivada de un determinante de funciones.
Más detallesIntroducció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 detallesAná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 detallesEspacios Vectoriales
Espacios Vectoriales Ev En todo el curso K es un cuerpo Podeis pensar que K = Q, K = R o K = C Un conjunto no vacio E es un K-espacio vectorial (o abreviadamente, un K-ev) cuando existan dos operaciones,
Más detallesAlgebra lineal y conjuntos convexos
Apéndice A Algebra lineal y conjuntos convexos El método simplex que se describirá en el Tema 2 es de naturaleza algebraica y consiste en calcular soluciones de sistemas de ecuaciones lineales y determinar
Más detallesEspacios 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 detallesAnillo 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 detallesr j ϕ j (v i ) = r i, ϕ(v i ) = v = n a ij ϕ j(v) ϕ i (v) =
ESPACIO DUAL 1. Espacio Dual En temas anteriores dados V y V espacios vectoriales sobre k, definíamos en Hom(V, V ) una suma y un producto por elementos de k que convertían este conjunto en un espacio
Más detallesIntroducción a los códigos compresores
Introducción a los códigos compresores Parte I de la Lección 2, Compresores sin pérdidas, de CTI Ramiro Moreno Chiral Dpt. Matemàtica (UdL) Febrero de 2010 Ramiro Moreno (Matemàtica, UdL) Introducción
Más detallesSistemas de Ecuaciones Lineales y Matrices
Capítulo 4 Sistemas de Ecuaciones Lineales y Matrices El problema central del Álgebra Lineal es la resolución de ecuaciones lineales simultáneas Una ecuación lineal con n-incógnitas x 1, x 2,, x n es una
Más detallesb) 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 detallesConjuntos y proposiciones
Tema 1 Conjuntos y proposiciones Índice del Tema 1 Introducción....................................... 2 2 Conjuntos........................................ 3 3 Proposiciones......................................
Más detallesÍ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 detallesDefinición Dados dos números naturales m y n, una matriz de orden o dimensión m n es una tabla numérica rectangular con m filas y n columnas.
Tema 1 Matrices 1.1. Conceptos básicos y ejemplos Definición 1.1.1. Dados dos números naturales m y n, una matriz de orden o dimensión m n es una tabla numérica rectangular con m filas y n columnas. NOTA:
Más detallesAutó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 detallesSubconjuntos notables de un Espacio Topológico
34 Capítulo 4 Subconjuntos notables de un Espacio Topológico 4.1 Adherencia Definición 4.1.1 (Punto adherente). Sea (X, τ) un espacio topológico, y sea S un subconjunto de X. Diremos que x X es un punto
Más detallesTeoría de la Probabilidad Tema 2: Teorema de Extensión
Teoría de la Probabilidad Tema 2: Teorema de Extensión Alberto Rodríguez Casal 25 de septiembre de 2015 Definición Una clase (no vacía) A de subconjuntos de Ω se dice que es un álgebra si A es cerrada
Más detallesEn 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 detallesEspacios Vectoriales. AMD Grado en Ingeniería Informática. AMD Grado en Ingeniería Informática (UM) Espacios Vectoriales 1 / 21
Espacios Vectoriales AMD Grado en Ingeniería Informática AMD Grado en Ingeniería Informática (UM) Espacios Vectoriales 1 / 21 Objetivos Al finalizar este tema tendrás que: Saber si unos vectores son independientes.
Más detallesTema 5: Sistemas de ecuaciones lineales.
TEORÍA DE ÁLGEBRA: Tema 5 DIPLOMATURA DE ESTADÍSTICA 1 Tema 5: Sistemas de ecuaciones lineales 1 Definiciones generales Definición 11 Una ecuación lineal con n incognitas es una expresión del tipo a 1
Más detallesConjuntos. () April 4, / 32
Conjuntos En general, un conjunto A se de ne seleccionando los elementos de un cierto conjunto U de referencia (o universal) que cumplen una determinada propiedad. () April 4, 2014 1 / 32 Conjuntos En
Más detallesProcesadores de Lenguaje
Procesadores de Lenguaje Repaso TALF Cristina Tîrnăucă Dept. Matesco, Universidad de Cantabria Fac. Ciencias Ing. Informática Primavera de 2013 La Jerarquía de Chomsky Cuatro niveles de lenguajes formales
Más detallesEspacios 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 detallesSumario: Teoría de Autómatas y Lenguajes Formales. Capítulo 2: Lenguajes Formales. Capítulo 2: Lenguajes Formales
Teoría de Autómatas y Lenguajes Formales Capítulo 2: Lenguajes Formales Holger Billhardt holger.billhardt@urjc.es Sumario: Capítulo 2: Lenguajes Formales 1. Concepto de Lenguaje Formal 2. Operaciones sobre
Más detallesUna 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 detalles1. 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 detallesFunciones de Clase C 1
Capítulo 7 Funciones de Clase C 1 Vamos a considerar ahora la extensión a varias variables del concepto de función de clase C 1. Cada vez que establezcamos una propiedad de las funciones diferenciables,
Más detallesLímite superior y límite inferior de una sucesión
Límite superior y límite inferior de una sucesión Objetivos. Definir las nociones de los límites superior e inferior de una sucesión y estudiar sus propiedades básicas. Requisitos. Supremo e ínfimo de
Más detallesAutó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 detallesTema 1: MATRICES. OPERACIONES CON MATRICES
Tema 1: MATRICES. OPERACIONES CON MATRICES 1. DEFINICIÓN Y TIPO DE MATRICES DEFINICIÓN. Una matriz es un conjunto de números reales dispuestos en filas y columnas. Si en ese conjunto hay m n números escritos
Más detallesMatriz A = Se denomina MATRIZ a todo conjunto de números o expresiones dispuestos en forma rectangular, formando filas y columnas.
MATRICES Matriz Se denomina MATRIZ a todo conjunto de números o expresiones dispuestos en forma rectangular, formando filas y columnas. a 11 a 12 a 1j a 1n a 21 a 22 a 2j a 2n A = a i1 a ij a in a m1 a
Más detallesConjuntos 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 detalles6.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 detallesMá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 detallesEL CUERPO ORDENADO REALES
CAPÍTULO I. EL CUERPO ORDENADO DE LOS NÚMEROS REALES SECCIONES A. Elementos notables en R. B. Congruencias. Conjuntos numerables. C. Método de inducción completa. D. Desigualdades y valor absoluto. E.
Más detallesEJERCICIOS del TEMA 3: Lenguajes independientes del contexto
EJERCICIOS del TEMA 3: Lenguajes independientes del contexto Sobre GICs (gramáticas independientes del contexto) 1. Sea G una gramática con las siguientes producciones: S ASB ε A aab ε B bba ba c ) d )
Más detallesTeorema 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 detallesEspacios vectoriales. Capítulo Espacios vectoriales y subespacios Preliminares
Capítulo 1 Espacios vectoriales En diversos conjuntos conocidos, por ejemplo los de vectores en el plano o en el espacio (R 2 y R 3 ), o también el de los polinomios (R[X]), sabemos sumar sus elementos
Más detallesSobre funciones reales de variable real. Composición de funciones. Función inversa
Sobre funciones reales de variable real. Composición de funciones. Función inversa Cuando en matemáticas hablamos de funciones pocas veces nos paramos a pensar en la definición rigurosa de función real
Más detallesCapí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 detallesContinuidad. 5.1 Continuidad en un punto
Capítulo 5 Continuidad 5.1 Continuidad en un punto Definición 5.1.1 (Aplicación continua en un punto). Sean (X, τ) e (Y, τ ) dos espacios topológicos, y sea f : X Y una aplicación entre ellos. Diremos
Más detallesTema 3: Cálculo de Probabilidades. Métodos Estadísticos
Tema 3: Cálculo de Probabilidades Métodos Estadísticos 2 INTRODUCCIÓN Qué es la probabilidad? Es la creencia en la ocurrencia de un evento o suceso. Ejemplos de sucesos probables: Sacar cara en una moneda.
Más detallesJohn 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 detallesGRAMATICAS LIBRES DEL CONTEXTO
GRMTICS LIBRES DEL CONTEXTO Estas gramáticas, conocidas también como gramáticas de tipo 2 o gramáticas independientes del contexto, son las que generan los lenguajes libres o independientes del contexto.
Más detallesMatrices positivas y aplicaciones. María Isabel García Planas Profesora Titular de Universidad
Matrices positivas y aplicaciones María Isabel García Planas Profesora Titular de Universidad Primera edición: Septiembre 2008 Editora: la autora c M ā Isabel García Planas ISBN: 978-84-612-6101-7 Depósito
Más detallesGrupos y Subgrupos El concepto de grupo Sea G un conjunto no vacío y sea G G G
Capítulo 1 Grupos y Subgrupos 001. El concepto de grupo Sea G un conjunto no vacío y sea G G G una operación interna en G para la cual denotaremos a la imagen de un par (x, y) mediante xy. Supongamos que
Más detallesTEORÍ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 detallesSubtemas: -Congruencia De Triángulos. -Tipos De Ángulos. -Tipos De Triángulos
Subtemas: -Congruencia De Triángulos -Tipos De Ángulos -Tipos De Triángulos Congruencia de triángulos La congruencia de triángulos estudia los casos en que dos o más triángulos presentan ángulos y lados
Más detallesEspacios 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 detallesTeoremas de Convergencia
Capítulo 24 Teoremas de Convergencia El teorema de la convergencia monótona (Lema 21.3) establece ciertas condiciones sobre una sucesión de funciones medibles para que se puedan permutar los símbolos y
Más detallesEstos apuntes se han sacado de la página de internet de vitutor con pequeñas modificaciones.
TEMA 1: MATRICES Concepto de matriz Se denomina matriz a todo conjunto de números o expresiones ordenados en filas y columnas. Cada uno de los números de que consta la matriz se denomina elemento. Un elemento
Más detallesSemana 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 detallesRelaciones. 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 detallesSESIÓ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 detallesFundamentos de Ciencias de la Computación Trabajo Práctico N 2 Lenguajes Libres del Contexto y Sensibles al Contexto Segundo Cuatrimestre de 2002
Departamento de Cs. e Ingeniería de la Computación Universidad Nacional del Sur Ejercicios Fundamentos de Ciencias de la Computación Trabajo Práctico N 2 Lenguajes Libres del Contexto y Sensibles al Contexto
Más detallesMATEMÁTICAS APLICADAS A LAS C.C. SOCIALES
MATEMÁTICAS APLICADAS A LAS C.C. SOCIALES CAPÍTULO 5 Curso preparatorio de la prueba de acceso a la universidad para mayores de 25 años curso 2010/11 Nuria Torrado Robles Departamento de Estadística Universidad
Más detallesProbabilidad y Estadística Descripción de Datos
Descripción de Datos Arturo Vega González a.vega@ugto.mx Division de Ciencias e Ingenierías Universidad de Guanajuato Campus León Universidad de Guanajuato, DCI, Campus León 1 / 19 Contenido 1 Teoria de
Más detallesClase 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 detallesTeoría Tema 9 Ecuaciones del plano
página 1/11 Teoría Tema 9 Ecuaciones del plano Índice de contenido Determinación lineal de un plano. Ecuación vectorial y paramétrica...2 Ecuación general o implícita del plano...6 Ecuación segmentaria
Más detallesTema 3: Sistemas de ecuaciones lineales
Tema 3: Sistemas de ecuaciones lineales 1. Introducción Los sistemas de ecuaciones resuelven problemas relacionados con situaciones de la vida cotidiana que tiene que ver con las Ciencias Sociales. Nos
Más detallesExpresiones Regulares y Derivadas Formales
Motivación e Ideas y Derivadas Formales La Derivación como Operación. Universidad de Cantabria Esquema Motivación e Ideas 1 Motivación e Ideas 2 3 Motivación Motivación e Ideas Sabemos como son los conjuntos
Más detallesTeorí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 detallesInversas de las matrices triangulares superiores
Inversas de las matrices triangulares superiores Ejercicios Objetivos. Demostrar que la inversa a una matriz triangular superior también es triangular superior. Requisitos. Algoritmo de inversión de una
Más detallesEquivalencia 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 detallesLos 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 detallesTEMA 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 detallesPropiedades de las operaciones lineales con matrices
Propiedades de las operaciones lineales con matrices Ejercicios Objetivos. Aprender a demostrar propiedades de las operaciones lineales en M m n (R). Requisitos. Operaciones lineales en R n, definición
Más detallesSemana03[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