Professional Documents
Culture Documents
1. Matemáticas básicas
Letras y dígitos
Conceptos Ejemplos de símbolos: a,b,c,1,2,6.
preliminares sobre
Matemáticas Cadena (palabra)
Secuencia finita de símbolos yuxtapuestos: abcdba.
Alfabeto
Es un conjunto finito de símbolos.
Lenguaje formal
Es un conjunto de cadenas de símbolos de algún alfabeto dado.
Note que el conjunto de todos los palindromes sobre una colección infinita de
símbolos técnicamente no es un lenguaje porque sus cadenas no son construidas
Cadenas, Alfabetos y colectivamente desde un alfabeto.
Lenguajes
Otro lenguaje es el conjunto de todas las cadenas sobre un alfabeto fijo . Se denota
éste lenguaje por * .
Por ejemplo:
Gráficas y Árboles
Ruta
En una gráfica, es una secuencia de vértices v1, v2, ... vk, k 1, tal que hay una orilla
(vi, vi+1) para cada i, 1 i< k.
Gráficas y Árboles
Gráfica dirigida ({1,2,3,4}, {i j | i < j })
Conceptos • Hay un vértice, llamado raíz, que no tiene predecesores y desde el cual hay
preliminares sobre una ruta para cada vértice.
Matemáticas • Cada vértice diferente al raíz, tiene exactamente un predecesor.
• Los sucesores de cada vértice son ordenados “desde la izquierda”.
Conceptos
preliminares sobre
Matemáticas
Hijo
Es el sucesor de un vértice.
Sí hay una ruta desde el vértice v1 al vértice v2, entonces se dice que v1 es un ancestro
de v2; y v2 es un descendiente de v1. El caso v1 = v2 no es un caso excluyente;
cualquier vértice es un ancestro y descendiente de sí mismo.
Hoja
Es un vértice sin hijos, y los otros vértices son llamados vértices interiores
Conceptos
preliminares sobre
Matemáticas
Gráficas y Árboles
Notación de Conjuntos ó
A B es sinónimo de A B.
Conceptos
preliminares sobre Sí A B, pero A B, esto es, cada miembro de A está en B y existe algún miembro de
Matemáticas B que no está en A, entonces escribimos A B (A es subconjunto propio de B).
Los conjuntos A y B son iguales si tienen los mismos miembros. Esto es, A = B, sí y
sólo sí A B y B A (entonces A es subconjunto impropio de B).
Notación de Conjuntos
Operaciones sobre Conjuntos:
Ejemplo: La relación < sobre el conjunto de enteros es transitiva porque a < b y b < c
implica a < c. Es asimétrica e irreflexiva porque a < b implica b < a es falso.
A B = {1,2,3}
Conceptos A B = {2}
preliminares sobre
Matemáticas
A – B = {1}
Ejemplo:
Notación de Conjuntos Sea S1 el conjunto de enteros pares y sea S2 el conjunto de todos los enteros.
Conceptos Una propiedad importante de una relación de equivalencia R sobre un conjunto S es que
preliminares sobre R particiones S son clases de equivalencia disjuntas y no vacías. Esto es,
Matemáticas
S = S1 S2 ... , donde para cada i y j, con i j:
1 Si Sj = ;
Relaciones y Particiones 2 para cada a y b en Si, aRb es verdadera;
3 para cada a en Si y b en Sj, aRb es falsa.
Las Si’s son llamadas clases de equivalencia. Nótese que el número de clases puede ser
infinito.
1 Ai Aj = si i j
2 Cada elemento s S pertenece a uno de los subconjuntos de Ai.
Sea, S = {a,b,c,d,e,f,g,h}
Conceptos
preliminares sobre
Matemáticas
Particiones
Así, R+ incluye R, es transitiva, y contiene unos cuantos pares como cualquier relación
que incluye R y es transitiva.
R+ = {(1,2),(2,2),(2,3),(1,3)} y R* = {(1,1),(1,2),(1,3),(2,2),(2,3),(3,3)}