Capítulo 1 Lenguajes formales 6
|
|
- María Carmen Romero Villanueva
- hace 2 años
- Vistas:
Transcripción
1 Capítulo 1 Lenguajes formales Operaciones entre lenguajes Puesto que los lenguajes sobre Σ son subconjuntos de Σ, las operaciones usuales entre conjuntos son también operaciones válidas entre lenguajes. sí, si y B son lenguajes sobre Σ es decir, B Σ ), entonces los siguientes también son lenguajes sobre Σ: B B B = Σ Unión Intersección Diferencia Complemento Estas operaciones entre lenguajes se llaman operaciones conjuntistas para distinguirlas de las operaciones lingüísticas concatenación, potencia, inverso, clausura) que son extensiones a los lenguajes de las ya mencionadas operaciones entre palabras Concatenación de lenguajes La concatenación de dos lenguajes y B sobre Σ, notada B o simplemente B se define como B = {uv : u, v B} En general B B. Ejemplo Si Σ = {a, b, c}, = {a, ab, ac}, B = {b, b 2 }, entonces B = {ab, ab 2, ab 2, ab 3, acb, acb 2 }. B = {ba, bab, bac, b 2 a, b 2 ab, b 2 ac} Ejemplo Si Σ = {a, b, c}, = {ba, bc}, B = {b n : n 0}, entonces B = {bab n : n 0} {bcb n : n 0}. B = {b n ba : n 0} {b n bc : n 0} = {b n+1 a : n 0} {b n+1 c : n 0} = {b n a : n 1} {b n c : n 1}. Ejercicio Dé un ejemplo de un alfabeto Σ y dos lenguajes, B sobre Σ tales que B = B Propiedades de la concatenación de lenguajes. Sean, B, C lenguajes sobre Σ, es decir, B, C Σ. Entonces
2 Capítulo 1 Lenguajes formales 7 1. = =. 2. {λ} = {λ} =. 3. Propiedad sociativa. B C) = B) C. 4. Distributividad de la concatenación con respecto a la unión. B C) = B C. B C) = B C. 5. Propiedad distributiva generalizada. Si {B i } i I es una familia cualquiera de lenguajes sobre Σ, entonces B i = B i ) i I i I B i = B i ). i I i I Demostración: 1. = {uv : u, v } =. 2. {λ} = {uv : u, v {λ}} = {u : u } =. 3. Se sigue de la asociatividad de la concatenación de palabras. 4. Caso particular de la propiedad general, demostrada a continuación. 5. Demostración de la igualdad B i = B i ): i I i I x i I B i x = u v, con u & v i I B i x = u v, con u & v B j, para algún j I x B j, para algún j I x i I B i). La igualdad B i = i ) se demuestra de forma similar. i I i IB
3 Capítulo 1 Lenguajes formales 8 Observaciones: La propiedad asociativa permite escribir concatenaciones de tres o más lenguajes sin necesidad de usar paréntesis. En general, no se cumple que B C) = B C. Es decir, la concatenación no es distributiva con respecto a la intersección. Contraejemplo: = {a, λ}, B = {λ}, C = {a}. Se tiene: B C) = {a, λ} =. Por otro lado, B C = {a, λ} {λ} {a, λ} {a} = {a, λ} {a 2, a} = {a}. Ejercicio Una de las dos contenencias siguientes es verdadera y la otra es falsa. Demostrar o refutar, según sea el caso: 1. B C) B C. 2. B C B C) Potencias de un lenguaje Dado un lenguaje sobre Σ Σ ), y n N, se define n en la siguiente forma 0 = {λ}, n = } {{ } n veces Esta definición generaliza a lenguajes la definición de potenciación de palabras La clausura de Kleene de un lenguaje La clausura de Kleene o estrella de Kleene de un lenguaje, Σ, es la unión de todas las potencias de y se denota por. = i 0 i = n Descripción 1) se puede describir de la siguiente manera = conjunto de todas las concatenaciones de palabras de, incluyendo λ = {u 1 u n : u i, n 0} Descripción 2)
4 Capítulo 1 Lenguajes formales 9 De manera similar se define la clausura positiva de un lenguaje, Σ, la cual se denota por +. + = i 1 i = 1 2 n + se puede describir de la siguiente manera + = conjunto de todas las concatenaciones de palabras de, = {u 1 u n : u i, n 1} Obsérvese que = + {λ} y que = + si y solamente si λ. Propiedades. Sea un lenguaje sobre Σ, Σ ) = = 2. = ) n =, para todo n 1. ) = ) + =. + ) =. + ) + = +. Demostración: 1. = ) = = +. Similarmente se demuestra que = Si x, entonces x = u v, con u, v. Entonces, x = u v, con u = u 1 u 2 u n, u i, n 0 y v = v 1 v 2 v m, v i, m 0. De donde x = u v = u 1 u 2 u n v 1 v 2 v m.
5 Capítulo 1 Lenguajes formales 10 con u i, v i, n 0. Por lo tanto, x es una concatenación de n + m palabras de. sí que x. Recíprocamente, si x, entonces x = x λ. Esto prueba la igualdad de los conjuntos y. 3. Se sigue de la propiedad anterior. 4. ) = ) 0 ) 1 ) 2 = {λ} =. 5. La demostración de esta propiedad es similar a la de la propiedad 1, pero con la restricción m, n 1. En general, no se tiene la igualdad + + = + ; más adelante se mostrará un contraejemplo. 6. ) + = ) 1 ) 2 ) 3 = = ) = +) 0 + ) 1 + ) 2 = {λ} = conjuntos contenidos en + ) = 8. + ) + = + ) 1 + ) 2 + ) 3, = + conjuntos contenidos en + ) = + Contraejemplo de + + = +. Sea Σ = {a, b}, = {a}. Se tiene Por otro lado, + = 1 2 = {a} {aa} {aaa} = {a n : n 1} + + = {a, a 2, a 3,... } {a, a 2, a 3,... } = {a 2, a 3, a 4,... } = {a n : n 2}.
6 Capítulo 1 Lenguajes formales 11 Observación: Según las definiciones dadas, Σ tiene dos significados: Σ = conjunto de las palabras sobre el alfabeto Σ. Σ = conjunto de todas las concatenaciones de palabras de Σ. No hay conflicto de notaciones porque las dos definiciones anteriores de Σ dan lugar al mismo conjunto. Ejercicio Sean, B Σ. Demostrar que B) = B ) 1.1) yuda: tener en cuenta tanto la descripción 1 como la descripción 2 presentadas arriba Inverso de un lenguaje Dado un lenguaje sobre Σ, se define 1 de la siguiente forma: 1 = {u 1 : u }. Propiedades. Sean y B lenguajes sobre Σ es decir,, B Σ ). 1. B) 1 = B B) 1 = 1 B B) 1 = 1 B ) 1 =. 5. ) 1 = 1 ) ) 1 = 1 ) +. Demostración: 1. x B) 1 x = u 1, donde u B. x = u 1, donde u = vw, v, w B. x = vw) 1, donde v, w B. x = w 1 v 1, donde v, w B. x B 1 1
7 Capítulo 1 Lenguajes formales Ejercicio Ejercicio Ejercicio x ) 1 x = u 1, donde u. x = u 1 u 2 u n ) 1, donde los u i, n 0. x = un 1 u 1 2 u 1 1, donde los u i, n 0. x 1 ). 6. Ejercicio Ejercicio Se pueden generalizar las propiedades 2 y 3 anteriores para uniones e intersecciones arbitrarias, respectivamente? Lenguajes regulares Los lenguajes regulares sobre un alfabeto dado Σ son todos los lenguajes que se pueden formar a partir de los lenguajes básicos, {λ}, {a}, a Σ, por medio de las operaciones de unión, concatenación y estrella de Kleene. Podemos dar una definición recursiva de los lenguajes regulares. Sea Σ un alfabeto. 1., {λ} y {a}, para cada a Σ, son lenguajes regulares sobre Σ. Estos son los denominados lenguajes regulares básicos. 2. Si y B son lenguajes regulares sobre Σ, también lo son B B unión) concatenación) estrella de Kleene) Obsérvese que Σ y Σ son lenguajes regulares sobre Σ. Ejemplos Sea Σ = {a, b}. Los siguientes son lenguajes regulares sobre Σ. 1. El lenguaje de todas las palabras que tienen exactamente una a: = {b} {a} {b}.
8 Capítulo 1 Lenguajes formales El lenguaje B de todas las palabras que comienzan con b: B = {b} {a, b}. 3. El lenguaje C de todas las palabras que contienen la cadena ba: C = {a, b} {ba} {a, b}. 4. {a} {b} ) {a}. 5. [ {a} {b} ) {b} ] Expresiones regulares Las expresiones regulares representan lenguajes regulares y su propósito es simplificar la escritura de los lenguajes regulares. La siguiente es la definición recursiva de las expresiones regulares sobre un alfabeto Σ dado. 1. Expresiones regulares básicas: es una expresión regular que representa al lenguaje. λ es una expresión regular que representa al lenguaje {λ}. a es una expresión regular que representa al lenguaje {a}, a Σ. 2. Si R y S son expresiones regulares sobre Σ, también lo son: RS R S R RS representa la concatenación de los lenguajes representados por R y S; RS representa su unión, y R representa la clausura de Kleene del lenguaje representado por R. Ejemplo Dado el alfabeto Σ = {a, b, c}, a b )a bc) es una expresión regular que representa al lenguaje {a} {b} ) {a} {bc}.
9 Capítulo 1 Lenguajes formales 14 Ejemplo Dado el alfabeto Σ = {a, b}, λ a) a b) ba) es una expresión regular que representa al lenguaje {λ} {a}) {a, b} {ba}. Ejemplos Los tres primeros lenguajes de la sección 1.13 podemos representar- con expresiones regulares: los 1. El lenguaje de todas las palabras que tienen exactamente una a: = b ab. 2. El lenguaje B de todas las palabras que comienzan con b: B = ba b). 3. El lenguaje C de todas las palabras que contienen la cadena ba: C = a b) baa b). Observación: La representación de lenguajes regulares por medio de expresiones regulares no es única. Es posible que haya varias expresiones regulares diferentes para el mismo lenguaje. Por ejemplo, ba b) y bb a) representan el mismo lenguaje. Otro ejemplo: las dos expresiones regulares a b) a b ) representan el mismo lenguaje en razón de la igualdad 1.1) de la sección Ejemplos Encontrar expresiones regulares que representen los siguientes len- definidos sobre el alfabeto Σ = {a, guajes, b}. 1. Lenguaje de todas las palabras que comienzan con b y terminan con a. Solución: ba b) a. 2. Lenguaje de todas las palabras que tienen exactamente dos a s. Solución: b ab ab.
10 Capítulo 1 Lenguajes formales Lenguaje de todas las palabras que tienen un número par de símbolos palabras de longitud par). Solución: aa ab ba bb). 4. Lenguaje de todas las palabras que tienen un número impar de símbolos palabras de longitud impar). Solución: aaa ab ba bb) baa ab ba bb). 5. Lenguaje de todas las palabras que tienen un número par de a s. Soluciones: b ab a) b. ab a b). b ab ab ) b. b b ab ab ) b. Ejemplo Encontrar una expresión regular que represente el lenguaje de todas las palabras que no contienen la cadena bc, definido sobre el alfabeto Σ = {a, b, c}. Solución: c b ac ). Ejercicio Encontrar expresiones regulares para los siguientes lenguajes: 1. Σ = {a, b}. Lenguaje de todas las palabras que tienen la cadena ab un número par de veces. 2. Σ = {a, b}. Lenguaje de todas las palabras que tienen un número impar de a s. 3. Σ = {a, b}. Lenguaje de todas las palabras que tienen un número par de a s o un número impar de b s. 4. Σ = {a, b, c}. Lenguaje de todas las palabras que tienen un número par de símbolos. 5. Σ = {a, b, c}. Lenguaje de todas las palabras que tienen un número impar de símbolos. 6. Σ = {a, b, c}. Lenguaje de todas las palabras que comienzan con c y terminan con b. 7. Σ = {a, b, c}. Lenguaje de todas las palabras que no contienen la cadena cc.
11 Capítulo 1 Lenguajes formales Opcional, Difícil!) Σ = {a, b}. Lenguaje de todas las palabras que tienen un número par de a s y un número impar de b s. Observación: No todos los lenguajes sobre un alfabeto dado Σ son regulares. Más adelante se mostrará que el lenguaje L = {λ, ab, aabb, aaabbb,... } = {a n b n : n 0} sobre Σ = {a, b} no se puede representar por medio de una expresión regular, y por lo tanto, no es un lenguaje regular.
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
Números Reales. MathCon c 2007-2009
Números Reales z x y MathCon c 2007-2009 Contenido 1. Introducción 2 1.1. Propiedades básicas de los números naturales....................... 2 1.2. Propiedades básicas de los números enteros........................
No todos los LRs finitos se representan mejor con ERs. Observe el siguiente ejemplo:
1 Clase 3 SSL EXPRESIONES REGULARES Para REPRESENTAR a los Lenguajes Regulares. Se construyen utilizando los caracteres del alfabeto sobre el cual se define el lenguaje, el símbolo y operadores especiales.
personal.us.es/elisacamol Elisa Cañete Molero Curso 2011/12
Teoría de conjuntos. Teoría de Conjuntos. personal.us.es/elisacamol Curso 2011/12 Teoría de Conjuntos. Teoría de conjuntos. Noción intuitiva de conjunto. Propiedades. Un conjunto es la reunión en un todo
{} representa al conjunto vacío, es decir, aquel que no contiene elementos. También se representa por.
2. Nociones sobre Teoría de Conjuntos y Lógica Para llevar a cabo nuestro propósito de especificar formalmente los problemas y demostrar rigurosamente la correctitud de nuestro programas, introduciremos
A estas alturas de nuestros conocimientos vamos a establecer dos reglas muy prácticas de cómo sumar dos números reales:
ADICIÓN Y RESTA DE NUMEROS REALES ADICIÓN L a adición o suma de números reales se representa mediante el símbolo más (+) y es considerada una operación binaria porque se aplica a una pareja de números,
ESTRUCTURAS ALGEBRAICAS. Parte 1
ESTRUCTURAS ALGEBRAICAS Parte 1 ESTRUCTURAS ALGEBRAICAS Una estructura algebraica es una n-tupla (a 1,a 2,...,a n ), donde a 1 es un conjunto dado no vacío, y {a 2,...,a n } un conjunto de operaciones
Multiplicación de Polinomios. Ejercicios de multiplicación de polinomios. www.math.com.mx. José de Jesús Angel Angel. jjaa@math.com.
Multiplicación de Polinomios Ejercicios de multiplicación de polinomios www.math.com.mx José de Jesús Angel Angel jjaa@math.com.mx MathCon c 2007-2008 Contenido 1. Antecedentes 2 2. Multiplicación de monomios
Matrices invertibles. La inversa de una matriz
Matrices invertibles. La inversa de una matriz Objetivos. Estudiar la definición y las propiedades básicas de la matriz inversa. Más adelante en este curso vamos a estudiar criterios de invertibilidad
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
Para representar los conjuntos, los elementos y la relación de pertenencia, mediante símbolos, tendremos en cuenta las siguientes convenciones:
2. Conjuntos 2.1 Introducción El concepto de conjunto, de singular importancia en la ciencia matemática y objeto de estudio de una de sus disciplinas más recientes, está presente, aunque en forma informal,
Teoría de Autómatas y Compiladores [ICI-445] Capítulo 1: Lenguajes y Gramáticas Formales
Teoría de Autómatas y Compiladores [ICI-445] Capítulo 1: Lenguajes y Gramáticas Formales Dr. Ricardo Soto [ricardo.soto@ucv.cl] [http://www.inf.ucv.cl/ rsoto] Escuela de Ingeniería Informática Pontificia
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
TEMA 2: Grupos. El grupo Simétrico.
Álgebra y Estructuras Discretas Grupo B de la Ingeniería Técnica de Sistemas TEMA 2: Grupos. El grupo Simétrico. 1. Definición de Grupo. Propiedades Básicas. Definición 1. Dado un conjunto no vacío G,
1. Números Reales 1.1 Clasificación y propiedades
1. Números Reales 1.1 Clasificación y propiedades 1.1.1 Definición Número real, cualquier número racional o irracional. Los números reales pueden expresarse en forma decimal mediante un número entero,
1. Se establecen los conceptos fundamentales (símbolos o términos no definidos).
1. ÁLGEBRA DE BOOLE. El álgebra de Boole se llama así debido a George Boole, quien la desarrolló a mediados del siglo XIX. El álgebra de Boole denominada también álgebra de la lógica, permite prescindir
D.I.I.C.C Arquitectura de Sistemas Computacionales
CAPITULO 6.- ÁLGEBRA DE BOOLE INTRODUCCIÓN. En 1854 George Boole introdujo una notación simbólica para el tratamiento de variables cuyo valor podría ser verdadero o falso (variables binarias) Así el álgebra
Apuntes de Matemática Discreta 9. Funciones
Apuntes de Matemática Discreta 9. Funciones Francisco José González Gutiérrez Cádiz, Octubre de 004 Universidad de Cádiz Departamento de Matemáticas ii Lección 9 Funciones Contenido 9.1 Definiciones y
Operaciones Booleanas y Compuertas Básicas
Álgebra de Boole El álgebra booleana es la teoría matemática que se aplica en la lógica combinatoria. Las variables booleanas son símbolos utilizados para representar magnitudes lógicas y pueden tener
Grupos. Subgrupos. Teorema de Lagrange. Operaciones.
1 Tema 1.-. Grupos. Subgrupos. Teorema de Lagrange. Operaciones. 1.1. Primeras definiciones Definición 1.1.1. Una operación binaria en un conjunto A es una aplicación α : A A A. En un lenguaje más coloquial
ESTRUCTURAS ALGEBRAICAS
ESTRUCTURAS ALGEBRAICAS 1.1. LEY DE COMPOSICIÓN INTERNA Definición 1.1.1. Sea E un conjunto, se llama ley de composición interna en E si y sólo si a b = c E, a, b E. Observación 1.1.1. 1. también se llama
Sistemas de numeración, operaciones y códigos.
Tema : Sistemas de numeración, operaciones y códigos. Para representar ideas, los seres humanos (al menos los occidentales) utilizamos cadenas de símbolos alfanuméricos de un alfabeto definido. En el mundo
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,
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
1. Teoría de Conjuntos
1. Teoría de Conjuntos 1.1. CONJUNTOS Considere las siguientes expresiones: 1. Los estudiantes de la Facultad de Matemática y Computación de la Universidad de La Habana del curso 2001-2002. 2. Los tomos
Problemas indecidibles
Capítulo 7 Problemas indecidibles 71 Codificación de máquinas de Turing Toda MT se puede codificar como una secuencia finita de ceros y unos En esta sección presentaremos una codificación válida para todas
Apuntes de Matemática Discreta 1. Conjuntos y Subconjuntos
Apuntes de Matemática Discreta 1. Conjuntos y Subconjuntos Francisco José González Gutiérrez Cádiz, Octubre de 2004 Universidad de Cádiz Departamento de Matemáticas ii Lección 1 Conjuntos y Subconjuntos
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
Matriz identidad y su propiedad principal
Matriz identidad y su propiedad principal Objetivos Dar la definición de la matriz identidad y establecer su propiedad principal Requisitos Notación para entradas de matrices, producto de matrices, la
Lenguajes, Gramáticas y Autómatas Conceptos
Lenguajes, Gramáticas y Autómatas Conceptos Departamento de Informática e Ingeniería de Sistemas C.P.S. Universidad de Zaragoza Última revisión: Febrero. 2004 11/02/2004 1 Índice Alfabetos, palabras y
Estructuras Algebraicas Una estructura algebraica es un objeto matemático consistente en un conjunto no vacío, con por lo menos una operación binaria.
Estructuras Algebraicas Una estructura algebraica es un objeto matemático consistente en un conjunto no vacío, con por lo menos una operación binaria. Operación Binaria Se conoce una operación binaria
Matemáticas Discretas
Matemáticas Discretas Conjuntos (11) Curso Propedéutico 2009 Maestría en Ciencias Computacionales, INAOE Conjuntos (2) Dr Luis Enrique Sucar Succar esucar@inaoep.mx Dra Angélica Muñoz Meléndez munoz@inaoep.mx
9.1 Primeras definiciones
Tema 9- Grupos Subgrupos Teorema de Lagrange Operaciones 91 Primeras definiciones Definición 911 Una operación binaria en un conjunto A es una aplicación α : A A A En un lenguaje más coloquial una operación
Paréntesis: Una aplicación en lenguajes formales
Paréntesis: Una aplicación en lenguajes formales Vamos a ver una aplicación del Teorema de Immerman-Szelepcsényi en la área de lenguajes formales. IIC3242 Clases de Complejidad 35 / 69 Paréntesis: Una
SSL Guia de Ejercicios
1 SSL Guia de Ejercicios INTRODUCCIÓN A LENGUAJES FORMALES 1. Dado el alfabeto = {a, b, c}, escriba las palabras del lenguaje L = {x / x }. 2. Cuál es la cardinalidad del lenguaje L = {, a, aa, aaa}? 3.
MATEMATICAS FUNDAMENTALES PARA INGENIEROS
BERNARDO ACEVEDO FRIAS OMAR EVELIO OSPINA ARTEAGA LUIS ALVARO SALAZAR SALAZAR MATEMATICAS FUNDAMENTALES PARA INGENIEROS UNIVERSIDAD NACIONAL DE COLOMBIA SEDE MANIZALES Índice general 1. NÚMEROS Y EXPRESIONES
ARITMÉTICA MODULAR. Unidad 1
Unidad 1 ARITMÉTICA MODULAR 9 Capítulo 1 DE LA TEORÍA DE CONJUNTOS Objetivo general Presentar y afianzar algunos conceptos de la Teoría de Conjuntos relacionados con el estudio de la matemática discreta.
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,
APLICACIONES DE LA MATEMATICA INTRODUCCION AL CALCULO AXIOMATICA DE LOS NUMEROS REALES
APLICACIONES DE LA MATEMATICA INTRODUCCION AL CALCULO AXIOMATICA DE LOS NUMEROS REALES PROFESOR: CHRISTIAN CORTES D. I) LOS NUMEROS REALES. Designaremos por R, al conjunto de los números reales. En R existen
Tema 1: Teoría de Conjuntos. Logica proposicional y Algebras de Boole.
Tema 1: Teoría de Conjuntos. Logica proposicional y lgebras de oole. 1.1 Teoria de conjuntos Objetivo específico: Operar con conjuntos y aplicar sus propiedades para resolver problemas reales. Piensa Elabora
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
Estructuras algebraicas
Tema 1 Estructuras algebraicas 1.1 Álgebras binarias Sea A un conjunto no vacío, una operación binaria (u operación interna) en A es una aplicación *: A A A (x, y) x * y es decir, una regla que a cada
Álgebra. Curso 2007-2008
Álgebra. Curso 2007-2008 11 de septiembre de 2008 Resolución Ejercicio. 1. Sea A un anillo conmutativo. (1) Demostrar que cualesquiera ideales a, b de A verifican (a b)(a + b) ab. (2) Para A = Z[X] dar
Límites y Continuidad de funciones
CAPITULO Límites y Continuidad de funciones Licda. Elsie Hernández Saborío Instituto Tecnológico de Costa Rica Escuela de Matemática Revista digital Matemática, educación e internet (www.cidse.itcr.ac.cr)
Razonamiento inductivo
LECCIÓN CONDENSADA 2.1 Razonamiento inductivo En esta lección Aprenderás cómo se usa el razonamiento inductivo en la ciencia y en las matemáticas Usarás el razonamiento inductivo para hacer conjeturas
SECRETARIA DE EDUCACIÓN PÚBLICA SUBSECRETARIA DE EDUCACIÓN MEDIA SUPERIOR DIRECCIÓN DE BACHILLERATOS ESTATALES Y PREPARATORIA ABIERTA
SECRETARIA DE EDUCACIÓN PÚBLICA SUBSECRETARIA DE EDUCACIÓN MEDIA SUPERIOR DIRECCIÓN DE BACHILLERATOS ESTATALES Y PREPARATORIA ABIERTA DEPARTAMENTO DE PREPARATORIA ABIERTA MATEMÁTICAS II GUIA DE ESTUDIO
NÚMEROS NATURALES Y NÚMEROS ENTEROS
NÚMEROS NATURALES Y NÚMEROS ENTEROS Los números naturales surgen como respuesta a la necesidad de nuestros antepasados de contar los elementos de un conjunto (por ejemplo los animales de un rebaño) y de
Apuntes de Matemática Discreta 7. Relaciones de Orden
Apuntes de Matemática Discreta 7. Relaciones de Orden Francisco José González Gutiérrez Cádiz, Octubre de 2004 Universidad de Cádiz Departamento de Matemáticas ii Lección 7 Relaciones de Orden Contenido
Sistemas de vectores deslizantes
Capítulo 1 Sistemas de vectores deslizantes 1.1. Vectores. Álgebra vectorial. En Física, se denomina magnitud fsica (o simplemente, magnitud) a todo aquello que es susceptible de ser cuantificado o medido
Matemática SECRETARÍA ACADÉMICA AREA INGRESO. - Septiembre de 2010 -
SECRETARÍA ACADÉMICA AREA INGRESO - Septiembre de 00 - SECRETARÍA ACADÉMICA ÁREA INGRESO UNIVERSIDAD TECNOLÓGICA NACIONAL Zeballos 000 Rosario - Argentina www.frro.utn.edu.ar e-mail: ingreso@frro.utn.edu.ar
Capítulo 2 Números Reales
Introducción Capítulo Números Reales La idea de número aparece en la historia del hombre ligada a la necesidad de contar objetos, animales, etc. Para lograr este objetivo, usaron los dedos, guijarros,
EXÁMENES DE REPASO Teoría de Autómatas y Lenguajes Formales UNIVERSIDAD FRANCISCO DE VITORIA
EXÁMENES DE REPASO Teoría de Autómatas y Lenguajes Formales UNIVERSIDAD FRANCISCO DE VITORIA 1ER PARCIAL TEORÍA DE AUTÓMATAS Y LENGUAJES FORMALES Examen parcial 12/02/2003 1.- Usa el lema de bombeo para
NÚMERO REAL. 1. Axiomas de cuerpo y propiedades operatorias. Axioma 2 La suma es asociativa:
NÚMERO REAL El conjunto de los números racionales se nos hace insuficiente a la hora de representar con exactitud magnitudes tan reales como la diagonal de un cuadrado cuyo lado mida 1, por ejemplo, o
Fundamentos algebraicos
Fundamentos algebraicos 1. Grupos Sea S un conjunto. Se denota con S S el conjunto de los pares ordenados (s, t) con s, t en S. Un mapeo de S S en S se llama operación binaria en S. Esta definición requiere
1. MANEJO DE SUMATORIOS. PROPIEDADES Y EJERCICIOS.
1. MANEJO DE SUMATORIOS. PROPIEDADES Y EJERCICIOS. El sumatorio o sumatoria) es un operador matemático, representado por la letra griega sigma mayúscula Σ) que permite representar de manera abreviada sumas
Materia: Informática. Nota de Clases Sistemas de Numeración
Nota de Clases Sistemas de Numeración Conversión Entre Sistemas de Numeración 1. EL SISTEMA DE NUMERACIÓN 1.1. DEFINICIÓN DE UN SISTEMA DE NUMERACIÓN Un sistema de numeración es un conjunto finito de símbolos
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
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.
Tema 1 Matrices Estructura del tema. Conceptos básicos y ejemplos Operaciones básicas con matrices Método de Gauss Rango de una matriz Concepto de matriz regular y propiedades Determinante asociado a una
Módulo 2: Expresiones polinómicas. Factorización
CURSO DE NIVELACIÓN Apunte teórico - práctico Módulo 2: Expresiones polinómicas. Factorización 1 FACTORIZACIÓN Una expresión polinómica es (justamente) una expresión formada por sumas y restas de términos,
ESTRUCTURAS ALGEBRAICAS
Fundamentos de la Matemática 1 Operaciones Binarias Dado un conjunto A, A, decimos que es una operación binaria en A si, y sólo si, : A A A es una función. Investigar si los siguientes son ejemplos de
1 CÁLCULO CON RADICALES. Nota: Para m = 2, es l raíz cuadrada y el 2 no se escribe.
DEFINICIÓN : 1 CÁLCULO CON RADICALES ( m 2, 3, 4,.. ) Ejemplo: Nota: Para m 2, es l raíz cuadrada y el 2 no se escribe. SIMPLIFICACIÓN DE RADICALES: Se escribe el radical en forma de potencia, se simplifica
MATEMÁTICA DISCRETA: Conjuntos, combinatoria y grafos. Roberto J. de la Fuente López. Versión 20110923. (corrección de erratas a versión 20100712)
MATEMÁTICA DISCRETA: Conjuntos, combinatoria y grafos Roberto J. de la Fuente López Versión 20110923 (corrección de erratas a versión 20100712) Índice general PRESENTACIÓN... 5 AVISO DE DERECHOS DE AUTOR...
Haydee Jiménez Tafur Grupo de Algebra. Universidad Pedagógica Nacional Estudiante de maestría en Matemáticas. Universidad Nacional de Colombia.
"Otras Alternativas Para La Definición De Relación En Teoría De Conjuntos" Carlos Julio Luque Arias Profesor Universidad Pedagógica Nacional Grupo de Algebra. Universidad Pedagógica Nacional Haydee Jiménez
autómatas finitos y lenguajes regulares LENGUAJES FORMALES Y
CONTENIDO Reconocedores [HMU2.1]. Traductores [C8]. Diagramas de Estado [HMU2.1]. Equivalencia entre AF deterministas y no deterministas [HMU2.2-2.3]. Expresiones [HMU3]. Propiedades de [HMU4]. Relación
Teoría de Lenguajes. Gramáticas incontextuales
Teoría de Lenguajes Gramáticas incontextuales José M. Sempere Departamento de Sistemas Informáticos y Computación Universidad Politécnica de Valencia Gramáticas incontextuales 1. Definiciones básicas.
Estructuras algebraicas
Tema 2 Estructuras algebraicas básicas 2.1. Operación interna Definición 29. Dados tres conjuntos A, B y C, se llama ley de composición en los conjuntos A y B y resultado en el conjunto C, y se denota
(x + y) + z = x + (y + z), x, y, z R N.
TEMA 1: EL ESPACIO R N ÍNDICE 1. El espacio vectorial R N 1 2. El producto escalar euclídeo 2 3. Norma y distancia en R N 4 4. Ángulo y ortogonalidad en R N 6 5. Topología en R N 7 6. Nociones topológicas
TEMA II: ÁLGEBRA DE CONMUTACIÓN
TEMA II: ÁLGEBRA DE CONMUTACIÓN En este capítulo veremos los métodos matemáticos que se disponen para las operaciones relacionadas con los circuitos digitales, así como las funciones más básicas de la
Tema 1. VECTORES (EN EL PLANO Y EN EL ESPACIO)
Vectores Tema. VECTORES (EN EL PLANO Y EN EL ESPACIO Definición de espacio vectorial Un conjunto E es un espacio vectorial si en él se definen dos operaciones, una interna (suma y otra externa (producto
Como ya se sabe, existen algunas ecuaciones de segundo grado que no tienen ninguna solución real. Tal es el caso de la ecuación x2 + 1 = 0.
NÚMEROS COMPLEJOS. INTRO. ( I ) Como ya se sabe, existen algunas ecuaciones de segundo grado que no tienen ninguna solución real. Tal es el caso de la ecuación x2 + 1 = 0. Si bien esto no era un problema
XLIV Olimpiada Matemática Española Fase nacional 2008 (Valencia) PRIMERA SESIÓN (28 de marzo)
Fase nacional 008 (Valencia) PRIMERA SESIÓN (8 de marzo).- Halla dos enteros positivos a y b conociendo su suma y su mínimo común múltiplo. Aplícalo en el caso de ue la suma sea 97 y el mínimo común múltiplo
1.1 CANTIDADES VECTORIALES Y ESCALARES. Definición de Magnitud
1.1 CANTIDADES VECTORIALES Y ESCALARES Definición de Magnitud Atributo de un fenómeno, cuerpo o sustancia que puede ser distinguido cualitativamente y determinado cuantitativamente. También se entiende
LÓGICA MATEMÁTICA. Álgebra de Boole Guía de trabajo
LÓGICA MATEMÁTICA Álgebra de Boole Guía de trabajo Favián Arenas A. y Amaury Camargo Universidad de Córdoba Facultad de Ciencias Básicas e Ingenierías Departamento de Matemáticas 4.15 Objetivos Lógica
March 25, 2010 CAPÍTULO 2: LÍMITES Y CONTINUIDAD DE FUNCIONES EN EL ESPACIO EUCLÍDEO
March 25, 2010 CAPÍTULO 2: LÍMITE Y CONTINUIDAD DE FUNCIONE EN EL EPACIO EUCLÍDEO 1. Producto Escalar en R n Definición 1.1. Dado x = (x 1,..., x n ), y = (y 1,..., y n ) R n, su producto escalar está
Números Reales y Fundamentos de Álgebra
CONARE Proyecto RAMA Números Reales y Fundamentos de Álgebra Master Pedro Díaz Navarro Temas de pre-cálculo Enero 2007 Master. Pedro Díaz Navarro 31 de julio de 2007 Índice 1. Los Números Reales 1 1.1.
AUTOMATAS Y LENGUAJES
AUTOMATAS Y LENGUAJES Un enfoque de diseño a b a b b... q q 6 7 q 5 q 0 q 1 q 2 q q 3 4 Ramón Brena Tec de Monterrey Verano 2003 ii Prefacio En años recientes se ha visto la aparición de un buen número
Relaciones binarias. ( a, b) = ( c, d) si y solamente si a = c y b = d
Relaciones binarias En esta sección estudiaremos formalmente las parejas de objetos que comparten algunas características o propiedades en común. La estructura matemática para agrupar estas parejas en
Fundación Uno. ) 2n, el resultado es: D) b a E)1. entonces el valor de "y" es: II) x y = 3 A)16 B)9 C)4 D)1 E)2. Desarrollo
ENCUENTRO # 27 TEMA: Inecuaciones. CONTENIDOS: 1. Desigualdades.Propiedades. 2. Inecuación lineal o de primer grado. 3. Inecuación cuadrática o de segundo grado. Ejercicio Reto 1. Al simplificar ( a 2
Vectores en el plano con punto inicial fijo
Vectores en el plano con punto inicial fijo bjetivos. Considerar el conjunto V 2 () de los vectores en el plano euclidiano (también llamados segmentos dirigidos o flechas) con un punto inicial fijo. Definir
Lenguajes (gramáticas y autómatas)
Lenguajes (gramáticas y autómatas) Elvira Mayordomo Universidad de Zaragoza 19 de septiembre de 2013 Elvira Mayordomo (Universidad de Zaragoza) Lenguajes (gramáticas y autómatas) 19 de septiembre de 2013
Estudie la información destacando los conceptos básicos, notaciones y formas existentes para la determinación de conjuntos.
CTIVIDD N 01 OJETIVO N 01 Determinar y representar conjuntos. Estudie la información destacando los conceptos básicos, notaciones y formas existentes para la determinación de conjuntos. sí como en la Geometría
Cualquier lenguaje de contexto libre, L, puede ser generado por medio de una GCL, G, que cumpla las siguientes condiciones:
Teoría de Autómatas y Lenguajes Formales Boletín de Autoevaluación 5: Cómo se simplifica una Gramática de Contexto Libre?. 1. Objetivos. El objetivo de este boletín es ilustrar cómo proceder para simplificar
Álgebra Básica. Departamento de Álgebra. http://www.departamento.us.es/da. Notas de teoría. Departamento de Álgebra, Universidad de Sevilla
Álgebra Básica Notas de teoría Departamento de Álgebra, Universidad de Sevilla El contenido de estas notas ha sido diseñado y redactado por el profesorado de la asignatura y está registrado bajo una licencia
EJERCICIOS del TEMA 3: Lenguajes independientes del contexto
EJERCICIOS del TEMA 3: Lenguajes independientes del contexto Sobre GICs (gramáticas independientes del contexto) 1. Sea G una gramática con las siguientes producciones: S ASB ε A aab ε B bba ba c ) d )
CÁLCULO ALGEBRAICO. Dra. Patricia Kisbye Dr. David Merlo
CÁLCULO ALGEBRAICO Dra. Patricia Kisbye Dr. David Merlo INTRODUCCIÓN Estas notas han sido elaboradas con el fin de ofrecer al ingresante a las carreras de la FaMAF herramientas elementales del cálculo
INSTITUTO VALLADOLID PREPARATORIA página 57
INSTITUTO VALLADOLID PREPARATORIA página 57 página 58 RESTA DE FRACCIONES RESTA La resta de fracciones está basada, por ser el inverso de la operación suma, en las mismas reglas y leyes de la suma, es
PARTE 3 SISTEMAS DE NUMERACION
PARTE 3 SISTEMAS DE NUMERACION Cuántos camellos hay?. Para responder a esta pregunta hay que emplear el número. Serán cuarenta? Serán cien? Para llegar al resultado el beduino precisa poner en práctica
+ 7 es una ecuación de segundo grado. es una ecuación de tercer grado.
ECUACIONES Y DESIGUALDADES UNIDAD VII VII. CONCEPTO DE ECUACIÓN Una igualdad es una relación de equivalencia entre dos epresiones, numéricas o literales, que se cumple para algún, algunos o todos los valores
Lógica, conjuntos, relaciones y funciones
Lógica, conjuntos, relaciones y funciones Álvaro Pérez Raposo Universidad Autónoma de San Luis Potosí Universidad Politécnica de Madrid Publicaciones Electrónicas Sociedad Matemática Mexicana A la memoria
Operaciones lineales en R 3 y sus propiedades
Operaciones lineales en R 3 y sus propiedades Ejercicios Objetivos. Aprender a demostrar propiedades de las operaciones lineales en R 3. Requisitos. Conjunto de los números reales R, propiedades de las
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...................
UNIDAD I NÚMEROS REALES
UNIDAD I NÚMEROS REALES Los números que se utilizan en el álgebra son los números reales. Hay un número real en cada punto de la recta numérica. Los números reales se dividen en números racionales y números
Autómatas de Pila y Lenguajes Incontextuales
Autómatas de Pila y Lenguajes Incontextuales Elvira Mayordomo Universidad de Zaragoza 5 de noviembre de 2012 Contenido de este tema 1. Introducción a los autómatas de pila 2. Definiciones 3. Equivalencia
Un grafo G es un par (V,E) donde V es un conjunto (llamado conjunto de vértices) y E un subconjunto de VxV (conjunto de aristas).
TEMA 5.- GRAFOS 5.1.- DEFINICIONES BÁSICAS Un grafo G es un par (V,E) donde V es un conjunto (llamado conjunto de vértices) y E un subconjunto de VxV (conjunto de aristas). Gráficamente representaremos
Factorización. Ejercicios de factorización. www.math.com.mx. José de Jesús Angel Angel. jjaa@math.com.mx
Factorización Ejercicios de factorización www.math.com.mx José de Jesús Angel Angel jjaa@math.com.mx MathCon c 2007-2008 Contenido 1. Introducción 2 1.1. Notación...........................................
Álgebras de Boole. Juan Medina Molina. 25 de noviembre de 2003
Álgebras de Boole Juan Medina Molina 25 de noviembre de 2003 Introducción Abordamos en este tema el estudio de las álgebras de Boole. Este tema tiene una aplicación directa a la electrónica digital ya
ESCUELA MILITAR DE INGENIERIA ALGEBRA I Misceláneas de problemas 2014 Tema: Estructuras Algebraicas.
ESCUELA MILITAR DE INGENIERIA ALGEBRA I Misceláneas de problemas 2014 Tema: Estructuras Algebraicas. Estructuras Algebraicas. Para cada operación binaria definida en el conjunto señalado dígase cuándo
INSTITUTO UNIVERSITARIO DE TECNOLOGÍA VENEZUELA CURSO PROPEDÉUTICO TALLER DE MATEMÁTICA
INSTITUTO UNIVERSITARIO DE TECNOLOGÍA VENEZUELA CURSO PROPEDÉUTICO TALLER DE MATEMÁTICA CARACAS, MARZO DE 2013 ESTUDIO DEL SISTEMA DECIMAL CONTENIDO Base del sistema decimal Nomenclatura Ordenes Subordenes
Inducción en definiciones y demostraciones AUTÓMATAS Y LENGUAJES FORMALES PRELIMINARES MATEMÁTICOS. Números naturales. Inducción matemática
Inducción en definiciones y demostraciones AUTÓMATAS Y LENGUAJES FORMALES PRELIMINARES MATEMÁTICOS Francisco Hernández Quiroz Departamento de Matemáticas Facultad de Ciencias, UNAM E-mail: fhq@ciencias.unam.mx
Liceo Nº 35, "Instituto Dr. Alfredo Vázquez Acevedo". Nocturno. Matemática. 5º B1 - B2 y 5ª H3. Profesora. María del Rosario Quintans 1
Liceo Nº 35, "Instituto Dr. Alfredo Vázquez Acevedo". Nocturno. Matemática. 5º B1 - B2 y 5ª H3. Profesora. María del Rosario Quintans 1 TEORÍA DE CONJUNTOS CONOCIMIENTOS BÁSICOS Cuando decimos: "un elemento