Expresiones Regulares y Derivadas Formales
|
|
- Francisco José Ferreyra Fuentes
- hace 7 años
- Vistas:
Transcripción
1 Motivación e Ideas y Derivadas Formales La Derivación como Operación. Universidad de Cantabria
2 Esquema Motivación e Ideas 1 Motivación e Ideas 2 3
3 Motivación Motivación e Ideas Sabemos como son los conjuntos regulares y parece que hay alguna relación entre las gramáticas regulares y las expresiones regulares. Como hallar una gramática a partir de una expresión regular?
4 Ideas Motivación e Ideas Sea la siguiente expresión a. Qué lenguaje genera?
5 Ideas Motivación e Ideas Tomemos la siguiente gramática regular G = ({S}, {a, b}, S, { S as λ }). Qué lenguaje genera?
6 Motivación e Ideas El Lenguaje de los Prefijos Si nuestro lenguaje esta generado por ba, entonces una posible gramática que genere el mismo lenguaje es: G = ({S, S }, {a, b}, S, {S bs, S as λ })
7 Motivación e Ideas El Lenguaje de los Prefijos El lenguaje L(a ) se relaciona con L(ba ) porque todas las palabras de L(a ) pertenecen a L(ba ) si se les añade el prefijo b.
8 Idea Motivación e Ideas Buscar estos lenguajes de prefijos y tratar de hallar una gramática a partir de ellos.
9 Pregunta Motivación e Ideas Como hallar para un lenguaje generado por una expresión regular las palabras que están en ese mismo lenguaje añadiéndole un prefijo?
10 Motivación e Ideas Derivación Formal Definición Sea Σ un alfabeto finito, a Σ un símbolo del alfabeto, y α una expresión regular sobre el alfabeto Σ. Llamaremos derivada de α con respecto al símbolo α a la expresión regular D a (α) con la siguiente propiedad: L(D a (α)) = {ω Σ : aω L(α)}.
11 Notación Motivación e Ideas Por la relación con las derivadas formales, utilizaremos la siguiente notación D a (α) = α a.
12 Motivación e Ideas La Derivación Calculemos varias derivaciones de expresiones regulares sencillas: a =, λ a =, b =, b Σ, b a. a a a = λ.
13 Motivación e Ideas Complejas Si α y β son dos expresiones regulares sobre Σ: (α + β) a = α a + β a.
14 Motivación e Ideas Complejas (α) a = (α) a α.
15 Motivación e Ideas Complejas Ahora un poco para la concatenación de expresiones regulares: Pues no es cierto. (α β) a = α a β.
16 Motivación e Ideas Complejas Ahora un poco para la concatenación de expresiones regulares: Pues no es cierto. (α β) a = α a β.
17 Motivación e Ideas Complejas (α β) a = α a β + t(α) β a, donde t(α) es la función dada por la identidad siguiente: { } λ si λ L(α), t(α) := en caso contrario.
18 Ejemplo Motivación e Ideas Veamos la derivación de la expresión regular a : (a) a = (a) a (a) = a.
19 Ejemplo Motivación e Ideas Las derivaciones de la expresión regular (aa + bb) : (aa + bb) a = (aa + bb) (aa + bb) = a(aa + bb). a
20 Motivación e Ideas No Funciona el Camino Fácil Las derivadas no vuelven las expresiones regulares más sencillas. Pero si que dan información sobre el lenguaje generado. L(a ) = al(a ) λ. Y esto se traduce a una gramática.
21 Motivación e Ideas Regla de Leibnitz Teorema (Regla de Leibnitz para ) Dada una expresión regular α sobre un alfabeto finito Σ, supongamos que Σ = {a 1,..., a n }. Entonces, α a 1 D a1 (α) + + a n D an (α) + t(α), donde t(α) es la función definida anteriormente.
22 Aplicación Motivación e Ideas Asignemos a cada expresión una variable, y cada expresión regular y a partir de la Regla de Leibnitz hallemos la gramática: L(a ) = al(a ) {λ.}
23 Aplicación Motivación e Ideas Demos a cada expresión una variable, y cada expresión regular y a partir de la Regla de Leibnitz hallemos la gramática: S as λ.
24 Aplicación Motivación e Ideas El mismo resultado se aplica para (a + b)a, (a + b). Pero, que ocurre cuando las derivaciones son expresiones regulares igual de complejas? Como aplicar lo mismo para una expresión más compleja?
La Jerarquía de Chomsky
La Apuntes sobre la Complejidad Universidad de Cantabria Esquema Motivación 1 Motivación 2 Ideas y Nociones Motivación Como se ha mencionado anteriormente, los lenguajes son conjuntos de palabras definidos
Más detallesLenguajes No Regulares
Lenguajes No Regulares Problemas que los Autómatas No Resuelven. Universidad de Cantabria Esquema Lema del Bombeo 1 Lema del Bombeo 2 3 Introducción Todos los lenguajes no son regulares, simplemente hay
Más 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 detallesAutómatas finitos no deterministas (AFnD)
Autómatas finitos no deterministas (AFnD) Elvira Mayordomo Universidad de Zaragoza 1 de octubre de 2012 Contenido de este tema Introducción y ejemplos de autómatas finitos no deterministas Definición de
Más detallesPropiedades de los Lenguajes Libres de Contexto
Propiedades de los Lenguajes Libres de Contexto 15 de junio de 2015 15 de junio de 2015 1 / 1 Contenido 15 de junio de 2015 2 / 1 Introducción Introducción Simplificación de CFG s. Esto facilita la vida,
Más detallesTEORÍA DE AUTÓMATAS Y LENGUAJES FORMALES
TEORÍA DE AUTÓMATAS Y LENGUAJES FORMALES (TALF) BLOQUE II: LENGUAJES REGULARES Tema 2: Autómatas Finitos Parte 2 (de 3). Autómatas Finitos No Deterministas (AFNDs) Grado en Ingeniería Informática URJC
Más detallesExpresiones Regulares
Conjuntos Regulares y Una forma diferente de expresar un lenguaje Universidad de Cantabria Conjuntos Regulares y Esquema 1 Motivación 2 Conjuntos Regulares y 3 4 Conjuntos Regulares y Motivación El problema
Más detallesTEMA 5. GRAMÁTICAS REGULARES.
TEMA 5. GRAMÁTICAS REGULARES. 5.1. Gramáticas Regulares. 5.2. Autómatas finitos y gramáticas regulares. 5.2.1. Gramática regular asociada a un AFD 5.2.2. AFD asociado a una Gramática regular 5.3. Expresiones
Más detalles2: Autómatas finitos y lenguajes regulares.
2: Autómatas finitos y lenguajes regulares. Los autómatas finitos son el modelo matemático de los sistemas que presentan las siguientes características: 1) En cada momento el sistema se encuentra en un
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 detallesIntroducció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 detallesCardinalidad. Teorema 0.3 Todo conjunto infinito contiene un subconjunto infinito numerable.
Cardinalidad Dados dos conjuntos A y B, decimos que A es equivalente a B, o que A y B tienen la misma potencia, y lo notamos A B, si existe una biyección de A en B Es fácil probar que es una relación de
Más detallesPropiedades de los Lenguajes Libres de Contexto
de los s de los Lenguajes Libres de Contexto INAOE (INAOE) 1 / 47 Contenido de los s 1 2 -ɛ 3 4 5 6 de los s (INAOE) 2 / 47 () de los s Queremos mostrar que todo (sin ɛ) se genera por una CFG donde todas
Más detallesTema 2: Autómatas finitos
Tema 2: Autómatas finitos Departamento de Sistemas Informáticos y Computación DSIC - UPV http://www.dsic.upv.es p. 1 Tema 2: Autómatas finitos Autómata finito determinista (AFD). Formas de representación
Más detallesCONCAVIDAD. Supongamos que tenemos la siguiente información, referente a una curva derivable: Cómo la graficaríamos?
CAPÍTULO 14 CONCAVIDAD Supongamos que tenemos la siguiente información, referente a una curva derivable: Intervalo Signo de f F (-00,3) + Creciente (3,8) - Decreciente (8, + ) + Creciente Cómo la graficaríamos?
Más detallesTEMA 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 detallesIntroducción a Autómatas Finitos
Introducción a e. Universidad de Cantabria Esquema 1 Introducción 2 3 Grafo de λ Transiciones Eliminación de las λ-transiciones 4 El Problema Podemos interpretar un autómata como un evaluador de la función
Más detallesExpresiones Regulares y Gramáticas Regulares
y Gramáticas Regulares Sistemas Lineales. Universidad de Cantabria Esquema Idea 1 Idea 2 3 Problema Idea Nos preguntamos si las expresiones regulares generan los mismos lenguajes que las gramáticas regulares.
Más detallesAutómatas Finitos y Lenguajes Regulares
Autómatas Finitos y Lenguajes Regulares Problema: Dado un lenguaje L definido sobre un alfabeto A y una cadena x arbitraria, determinar si x L o x L. Cadena x AUTOMATA FINITO SI NO Lenguaje Regular Autómatas
Más detallesEstructuras algebraicas
Estructuras algebraicas Natalia Boal María Luisa Sein-Echaluce Universidad de Zaragoza 1 Relaciones binarias 11 Recordatorio Definición Dados dos conjuntos A y B se llama producto cartesiano de A por B
Más detallesClase 09: AFN, AFD y Construcción de Thompson
Clase 09: AFN, AFD y Construcción de Thompson Solicitado: Ejercicios 07: Construcción de AFN scon Thompson M. en C. Edgardo Adrián Franco Martínez http://computacion.cs.cinvestav.mx/~efranco @efranco_escom
Más detallesMatrices y Determinantes.
Matrices y Determinantes. Definición [Matriz] Sea E un conjunto cualquiera, m, n N. Matrices. Generalidades Matriz de orden m n sobre E: a 11 a 12... a 1n a 21 a 22... a 2n...... a m1 a m2... a mn a ij
Más detallesTEMA 11. Autovalores y autovectores. Diagonalización y formas canónicas.
TEMA 11 F MATEMÁTICOS TEMA 11 Autovalores y autovectores Diagonalización y formas canónicas 1 Introducción Definición 1 (Matrices semejantes) Sean A y B dos matrices cuadradas de orden n Decimos que A
Más detallesMáquinas Secuenciales, Autómatas y Lenguajes Formales. Tema 4: Autómatas finitos deterministas. Holger Billhardt holger.billhardt@urjc.
Formales Tema 4: Autómatas finitos deterministas Holger Billhardt holger.billhardt@urjc.es Sumario: Bloque 2: Autómatas Finitos 4. Autómatas Finitos Deterministas 1. Concepto y Definición 2. Autómata finito
Más detallesAutómatas y Lenguajes Formales. Tema 3.2: Autómatas Finitos No Deterministas. Luis Peña luis.pena@urjc.es
Autómatas y Lenguajes Formales Tema 3.2: Autómatas Finitos No Deterministas Luis Peña luis.pena@urjc.es Sumario Tema 3.2: Autómatas Finitos No Deterministas. 1. Concepto de AFND 2. Teoremas de Equivalencia
Más detalles1 Aplicaciones lineales
UNIVERSIDAD POLITÉCNICA DE CARTAGENA Departamento de Matemática Aplicada y Estadística Aplicaciones lineales y diagonalización. El objetivo principal de este tema será la obtención de una matriz diagonal
Más detallesTraductores Push Down
Push Down Extensión de Autómatas Universidad de Cantabria Outline El Problema 1 El Problema 2 3 El Problema Hemos estudiado anteriormente los autómatas con pila y hemos visto su relación con los lenguajes
Más detallesDefinició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 detallesRepaso. Lenguajes formales
Repaso. Lenguajes formales Profesor Federico Peinado Elaboración del material José Luis Sierra Federico Peinado Ingeniería en Informática Facultad de Informática Universidad Complutense de Madrid Curso
Más detallesSucesiones y series de números reales
Capítulo 2 Sucesiones y series de números reales 2.. Sucesiones de números reales 2... Introducción Definición 2... Llamamos sucesión de números reales a una función f : N R, n f(n) = x n. Habitualmente
Más detallesTema 2. Grupos. 3. El conjunto de matrices de orden 2 con coeficientes enteros (o reales) con la suma es un grupo conmutativo.
Tema 2. Grupos. 1 Grupos Definición 1 Un grupo es una estructura algebraica (G, ) tal que la operación binaria verifica: 1. * es asociativa 2. * tiene elemento neutro 3. todo elemento de G tiene simétrico.
Más detallesTeoría de conjuntos. Tema 1: Teoría de Conjuntos.
Tema 1: Teoría de Conjuntos. La teoría de Conjuntos es actualmente una de las más importantes dentro de la matemática. Muchos de los problemas que se le han presentado a esta disciplina en los últimos
Más detallesTema 1: Matrices y Determinantes
Tema 1: Matrices y Determinantes September 14, 2009 1 Matrices Definición 11 Una matriz es un arreglo rectangular de números reales a 11 a 12 a 1m a 21 a 22 a 2m A = a n1 a n2 a nm Se dice que una matriz
Más detallesTEORÍA DE AUTÓMATAS I Informática de Sistemas
TEORÍA DE AUTÓMATAS I Informática de Sistemas Soluciones a las cuestiones de examen del curso 22/3 Febrero 23, ª semana. Considere los lenguajes del alfabeto Σ={,}: L = { n n, n } y L 2 = {cadenas con
Más detalles1. Si están situados en rectas paralelas: la recta que une los orígenes, deja sus extremos en un mismo semiplano.
CAPÍTULO El plano vectorial Consideremos P como el plano intuitivo de puntos: A,,C..... El espacio vectorial de los vectores Definición. Vectores fijos Dado dos puntos cualesquiera A e del espacio nos
Más detallesEn este capítulo obtendremos los resultados básicos del cálculo diferencial para funciones reales definidas sobre R o sobre intervalos.
Capítulo 6 Derivadas 61 Introducción En este capítulo obtendremos los resultados básicos del cálculo diferencial para funciones reales definidas sobre R o sobre intervalos Definición 61 Sea I R, I, f :
Más detallesSISTEMAS 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 detallesA partir de la definición obtenemos las siguientes propiedades para estas funciones:
Capítulo 1 Conjuntos Supondremos conocidas las nociones básicas sobre teoría de conjuntos, tales como subconjuntos, elementos, unión, intersección, complemento, diferencia, diferencia simétrica, propiedades
Más detallesHacia las Gramáticas Propias
Hacia las Gramáticas sin Ciclos Universidad de Cantabria Esquema 1 Introducción 2 3 Introducción Las gramáticas libres de contexto pueden presentar diferentes problemas. Ya hemos visto como eliminar los
Más detalles2.Teoría de Autómatas
2.Teoría de Autómatas Araceli Sanchis de Miguel Agapito Ledezma Espino José A. Iglesias Mar
Más detallesTema II: Aplicaciones lineales
Definiciones y ejemplos. Matriz asociada a una aplicación lineal. Núcleo e imagen. Cambios de base. Espacio vectorial cociente.teoremas de isomorfía. El espacio de las aplicaciones lineales. Ejemplos de
Más detallesFundamentos de Cinética Química: ecuación diferencial de velocidad
Fundamentos de Cinética Química: ecuación diferencial de velocidad Apellidos, nombre Atarés Huerta, Lorena (loathue@tal.upv.es) Departamento Centro Departamento de Tecnología de Alimentos ETSIAMN (Universidad
Más detallesSucesiones y funciones divergentes
Tema 2 Sucesiones y funciones divergentes Nuestro próximo objetivo es ampliar el estudio de los dos tipos de convergencia, o de las dos nociones de límite, que hasta ahora conocemos: el límite de una sucesión
Más detallesCOLEGIO UNIVERSITARIO CARDENAL CISNEROS. Libro de Ejercicios de Matemáticas Empresariales II
COLEGIO UNIVERSITARIO CARDENAL CISNEROS Libro de Ejercicios de Matemáticas Empresariales II Manuel León Navarro 2 Capítulo 1 Ejercicios lección 1 1. Sea el conjunto de las matrices cuadradas de orden 2
Más detalles1. Año 2011 Ejercicios para entregar
Grupos de Lie y Álgebras de Lie 1. Año 2011 Ejercicios para entregar Ejercicio 1.1. Sea ρ : R Aut(C) = C la representación dada por ρ(t)z = e it z. (a) Probar que G = C ρ R es un grupo de Lie simplemente
Más detallesI PRELIMINARES 3 1 Identidades notables... 3 1.1 Productos y potencias notables... 3 2 Uso del símbolo de sumatoria... 6 2.1 Símbolo de sumatoria:
ÍNDICE I PRELIMINARES Identidades notables............................... Productos y potencias notables...................... Uso del símbolo de sumatoria........................ 6. Símbolo de sumatoria:
Más detalles2. 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 detallesDescripción de los Lenguajes Aceptados por Autómatas
Descripción de los Lenguajes Aceptados por Autómatas Los Teoremas de Kleene Universidad de Cantabria Esquema 1 2 3 Lenguajes Aceptados por Autómatas Como repaso, tenemos un problema de respuesta Si/No
Más detallesDerivadas. Contenido Introducción. ( α) Definición de Derivada. (α) Pendiente de la recta tangente. (α) Funciones diferenciables.
Derivadas. Contenido 1. Introducción. (α) 2. Definición de Derivada. (α) 3. Pendiente de la recta tangente. (α) 4. Funciones diferenciables. (α) 5. Función derivada. (α) 6. Propiedades de la derivada.
Más detallesIngeniería en Computación. Autómatas y Lenguajes Formales. Unidad de competencia III: Conocer, utilizar y manipular expresiones regulares
Universidad Autónoma del Estado de México Centro Universitario UAEM Texcoco Departamento de Ciencias Aplicadas. Ingeniería en Computación. Autómatas y Lenguajes Formales. Unidad de competencia III: Conocer,
Más detallesSerafín Moral Departamento de Ciencias de la Computación. Modelos de Computación ITema 2: Autómatas Finitos p.1/88
Modelos de Computación I Tema 2: Autómatas Finitos Serafín Moral Departamento de Ciencias de la Computación Modelos de Computación ITema 2: Autómatas Finitos p./88 Contenido Autómata Finito Determinista
Más detallesEdición general: Editores:
Álgebra Lineal Ruth Cueva - Felipe Navas - José Luis Toro Profesores de la Escuela Politécnica Nacional Edición general: Juan Carlos Trujillo Editores: Fabián Barba, Juan Carlos Trujillo Profesores de
Más detallesx z - Fernando Sánchez - Departamento de Matemáticas - Universidad de Extremadura Cálculo I 1Tales, Pitágoras, Euclides,...
- Fernando Sánchez - - Cálculo I 1Tales, Pitágoras, Euclides,... Si se consideran ciertas magnitudes a y, no es difícil imaginar cómo son algunas operaciones entre ellas, como la suma y la resta. Basta
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 detallesRESUMEN Y EJERCICIOS DE TRIGONOMETRÍA II
RESUMEN Y EJERCICIOS DE TRIGONOMETRÍA II Como ya sabemos, uno de los objetivos es que, conocidas las razones trigonométricas (a partir de ahora RT) de unos pocos ángulos, obtener las RT de una gran cantidad
Más detallesResumen Tema 3: Derivadas. Concepto. Propiedades. Cálculo de derivadas. Aplicaciones.
Resumen Tema 3: Derivadas. Concepto. Propiedades. Cálculo de derivadas. Aplicaciones. 0.. Concepto de derivada. Definición. Sea f : S R R, a (b, c) S. Decimos que f es derivable en a si existe: f(x) f(a)
Más detallesTema 5: Sistemas de Ecuaciones Lineales
Tema 5: Sistemas de Ecuaciones Lineales Eva Ascarza-Mondragón Helio Catalán-Mogorrón Manuel Vega-Gordillo Índice 1 Definición 3 2 Solución de un sistema de ecuaciones lineales 4 21 Tipos de sistemas ecuaciones
Más detallesTeoría de Automatas, Lenguajes Formales y Gramáticas. D. Castro Esteban
Teoría de Automatas, Lenguajes Formales y Gramáticas D. Castro Esteban T E X & LAT E X Contenidos 1 Autómatas finitos Autómatas finitos deterministas Autómatas finitos no deterministas Autómatas finitos
Más detallesTema 5. Muestreo y distribuciones muestrales
Tema 5. Muestreo y distribuciones muestrales Contenidos Muestreo y muestras aleatorias simples La distribución de la media en el muestreo La distribución de la varianza muestral Lecturas recomendadas:
Más detalles1. Cadenas EJERCICIO 1
LENGUAJES FORMALES Y AUTÓMATAS CURSO 2006/2007 - BOLETÍN DE EJERCICIOS Víctor J. Díaz Madrigal y José Miguel Cañete Departamento de Lenguajes y Sistemas Informáticos 1. Cadenas La operación reversa aplicada
Más 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 detallesUna sucesión infinita es una función cuyo dominio es el conjunto de los enteros positivos. Podemos denotar una sucesión como una lista
Cap 9 Sec 9.1 9.3 Una sucesión infinita es una función cuyo dominio es el conjunto de los enteros positivos. Podemos denotar una sucesión como una lista a 1, a 2, a 3, a n, Donde cada a k es un término
Más detallesLas Gramáticas Formales
Definición de Las Como definir un Lenguaje Formal Universidad de Cantabria Esquema Motivación Definición de 1 Motivación 2 Definición de 3 Problema Motivación Definición de Dado un lenguaje L, se nos presenta
Más detalles1 er Parcial Febrero 2009
Autómatas y Lenguajes Formales 3 o Ingeniería Informática 1 er Parcial Febrero 2009 Normas : La duración de esta parte del examen es de 2,5 horas. Todos los ejercicios se entregarán en hojas separadas.
Más detallesCapí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 detallesEspacio de Funciones Medibles
Capítulo 22 Espacio de Funciones Medibles Igual que la σ-álgebra de los conjuntos medibles, la familia de funciones medibles, además de contener a todas las funciones razonables (por supuesto son medibles
Más detallesAPUNTES DE MATEMÁTICAS 1º BACHILLERATO TEMA 5: GEOMETRÍA AFÍN PROBLEMAS MÉTRICOS
APUNTES DE MATEMÁTICAS TEMA 5: GEOMETRÍA AFÍN PROBLEMAS MÉTRICOS º BACHILLERATO ÍNDICE. ECUACIONES DE LA RECTA EN EL PLANO.... 4.. SISTEMAS DE REFERENCIA... 4.. COORDENADAS DE UN PUNTO... 4.3. COORDENADAS
Más detallesTopología de la Recta
Capítulo 2 Topología de la Recta 21 Introducción En este capítulo introducimos algunas nociones sobre topología de los espacios métricos Nuestro interés se limitará en el futuro al caso real o a los espacios
Más detallesUNIVERSIDAD AUTÓNOMA DE BAJA CALIFORNIA SUR. Ciencias de la ingeniería
UNIVERSIDAD AUTÓNOMA DE BAJA CALIFORNIA SUR DEPARTAMENTO ACADÉMICO DE SIS COMPUTACIONALES INGENIERÍA EN TECNOLOGÍA COMPUTACIONAL ASIGNATURA Teoría de la computación ÁREA DE Ciencias de la ingeniería CONOCIMIENTO
Más detallesClase 08: Autómatas finitos
Solicitado: Ejercicios 06: Autómatas finitos M. en C. Edgardo Adrián Franco Martínez http://computacion.cs.cinvestav.mx/~efranco @efranco_escom edfrancom@ipn.mx 1 Contenido Autómata finito Definición formal
Más detallesEl 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 detallesAlgebra de Boole. Algebra de Boole. Ing. José Alberto Díaz García. EL - 3307 Diseño Lógico. Página 1
Página 1 Simplificación de circuitos Como los circuitos lógicos son representaciones de funciones lógicas, se pueden utilizar los recursos disponibles para simplificarlos y así reducir la cantidad de componentes
Más detalles1. Lenguajes formales.
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
Más detallesUna matriz es una tabla ordenada (por filas y columnas) de escalares a i j de la forma: ... ... a... ...
MATRICES Las matrices se utilizan en el cálculo numérico, en la resolución de sistemas de ecuaciones lineales, de las ecuaciones diferenciales y de las derivadas parciales. Tienen también muchas aplicaciones
Más detallesCuatro Problemas de Álgebra en la Olimpiada Internacional de Matemáticas.
Boletín de la Asociación Matemática Venezolana, Vol. XV, No. 1 (2008) 131 Cuatro Problemas de Álgebra en la Olimpiada Internacional de Matemáticas. Rafael Sánchez Lamoneda Introducción. El presente artículo
Más detallesDeterminantes. Primera definición. Consecuencias inmediatas de la definición
Determinantes Primera definición Para calcular el determinante de una matriz cuadrada de orden n tenemos que saber elegir n elementos de la matriz de forma que tomemos solo un elemento de cada fila y de
Más detallesVectores y Matrices. Tema 3: Repaso de Álgebra Lineal Parte I. Contenidos
Tema 3: Repaso de Álgebra Lineal Parte I Virginia Mazzone Contenidos Vectores y Matrices Bases y Ortonormailizaciòn Norma de Vectores Ecuaciones Lineales Algenraicas Ejercicios Vectores y Matrices Los
Más detallesCombinación Lineal. Departamento de Matemáticas, CCIR/ITESM. 10 de enero de 2011
Combinación Lineal Departamento de Matemáticas, CCIR/ITESM 10 de enero de 011 Índice.1. Introducción............................................... 1.. Combinación lineal entre vectores...................................
Más detallesUn conjunto se considera como una colección de objetos, llamados miembros o elementos del conjunto. Existen dos formas de expresar un conjunto:
I.- Teoría de conjuntos Definición de conjunto Un conjunto se considera como una colección de objetos, llamados miembros o elementos del conjunto. Existen dos formas de expresar un conjunto: a) Por extensión
Más detallesNotación de Conjuntos
1 A. Introducción UNIVERSIDAD INTERAMERICANA DE PUERTO RICO DEPARTAMENTO DE ADMINISTRACIÓN DE EMPRESAS MAEC 2140: Métodos Cuantitativos Prof. J.L.Cotto Conferencia: Conceptos Matemáticos Básicos Notación
Más detallesTema 4 Probabilidad condicionada: teoremas básicos. Independencia de sucesos
Tema 4 Probabilidad condicionada: teoremas básicos. Independencia de sucesos 1. Probabilidad condicionada. Espacio de probabilidad condicionado La probabilidad condicionada es uno de los conceptos clave
Más detallesSSL Guia de Ejercicios
1 SSL Guia de Ejercicios INTRODUCCIÓN A LENGUAJES FORMALES 1. Dado el alfabeto = {a, b, c}, escriba las palabras del lenguaje L = {x / x }. 2. Cuál es la cardinalidad del lenguaje L = {, a, aa, aaa}? 3.
Más detallesDefinición de Funciones MATE 3171
Definición de Funciones MATE 3171 Función Una función, f, es una regla de correspondencia entre dos conjuntos, que asigna a cada elemento x de D exactamente un elemento de E : x 1 x 2 x 3 y 2 y 1 Terminología
Más detallesTema 3.- Gramáticas formales
UNIVERSIDAD DE CÓRDOBA ESCUELA POLITÉCNICA SUPERIOR DEPARTAMENTO DE INFORMÁTICA Y ANÁLISIS NUMÉRICO INGENIERÍA TÉCNICA EN INFORMÁTICA DE SISTEMAS SEGUNDO CURSO, SEGUNDO CUATRIMESTRE TEORÍA DE AUTÓMATAS
Más detallesExplorando la ecuación de la recta pendiente intercepto
Explorando la ecuación de la recta pendiente intercepto Realiza las siguientes actividades, mientras trabajas con el tutorial. 1. Los puntos que están en la misma recta se dice que son. 2. Describe el
Más detallesPráctica 2 - Hay diferentes infinitos?- A. Propiedades básicas de los Conjuntos
Cálculo Avanzado Primer Cuatrimestre de 2011 Práctica 2 - Hay diferentes infinitos?- Llamaremos número cardinal de M al concepto general que, por medio de nuestra activa capacidad de pensar, surge del
Más detallesCIRCUITOS DE POLARIZACIÓN DEL TRANSISTOR EN EMISOR COMÚN
1) POLARIZACIÓN FIJA El circuito estará formado por un transistor NPN, dos resistencias fijas: una en la base R B (podría ser variable) y otra en el colector R C, y una batería o fuente de alimentación
Más detallesUNIVERSIDAD SAN MARCOS
Prof. Edwin Gerardo Acuña Acuña UNIVERSIDAD SAN MARCOS ALGEBRA Este capítulo estudia los conceptos básicos del álgebra, una de las disciplinas de la matemática que tiene más aplicaciones en diversos campos.
Más detallesV 2 : vectores libres en el plano
V 2 : vectores libres en el plano Egor Maximenko ESFM del IPN 8 de agosto de 2009 Egor Maximenko (ESFM del IPN) V 2 : Vectores libres en el plano 8 de agosto de 2009 1 / 13 Contenido 1 Conjunto V 2 2 Operaciones
Más detallesGRAMÁTICAS y LENGUAJES INDEPENDIENTES DEL CONTEXTO
Dpto. de Informática (ATC, CCIA y LSI). Universidad de Valladolid. TEORÍA DE AUTÓMATAS Y LENGUAJES FORMALES I Ingeniería Técnica en Informática de Sistemas. Curso 2011-12 GRAMÁTICAS y LENGUAJES INDEPENDIENTES
Más detallesTEMA 4: CONTRASTES DE HIPÓTESIS. CONCEPTOS BÁSICOS
ASIGNATURA: ESTADÍSTICA II (Grado ADE,MIM,FBS) TEMA 4: CONTRASTES DE HIPÓTESIS. CONCEPTOS BÁSICOS 4.1. Hipótesis estadística. Tipos de hipótesis 4.2. Región crítica y región de aceptación 4.3. Errores
Más detallesHacia las Gramáticas Propias II
Hacia las Hacia las II Gramáticas sin Ciclos Universidad de Cantabria Outline Hacia las 1 Hacia las 2 3 Definición Hacia las Definición Diremos que una gramática libre de contexto G := (V, Σ, Q 0, P) es
Más detallesTransformada Z. Jose Salvador Cánovas Peña
Transformada Z Jose Salvador Cánovas Peña November 3, 2007 2 Contents 0. Ecuaciones en diferencias finitas... 3 0.2 Definiciónypropiedadesbásicas... 4 0.3 TransformadaZinversa... 6 0.4 Aplicaciónalaresolucióndelaecuaciónendiferencias...
Más detalles25/10/2010. Tema 2. Aritmética
Tema 2. Aritmética 1 Resumen de lo trabajado Estudio conceptual de las operaciones: - Qué es sumar, restar, multiplicar y dividir. - Tipos de problemas aditivos. - Tipos de problemas multiplicativos -
Más detallesINSTITUTO TECNOLÓGICO DE APIZACO TEORÍA DE CONJUNTOS CONJUNTOS Y TÉCNICAS DE CONTEO
TEORÍA DE CONJUNTOS CONJUNTOS Y TÉCNICAS DE CONTEO DEFINICIÓN Y NOTACIÓN DE CONJUNTOS El término conjunto juega un papel fundamental en el desarrollo de las matemáticas modernas; Además de proporcionar
Más detallesApuntes 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 detallesEjercicios resueltos del capítulo 1
Ejercicios resueltos del capítulo Ejercicios impares resueltos..b Resolver por el método de Gauss el sistema x +x x +x 4 +x = x x +x 4 = x +x +x = x +x x 4 = F, ( ) F 4, () F, ( ) F, () 8 6 8 6 8 7 4 Como
Más detallesTEMA 4 El tipo conjunto
TEMA El tipo conjunto PROGRAMACIÓN Y ESTRUCTURAS DE DATOS Tipo conjunto. Definiciones generales. Diccionario.. Tabla de dispersión.. Trie.. Árboles de búsqueda digitales. Cola de prioridad.. Montículo..
Más detalles