TEORIA DE LA COMPUTACION

NOCIONES MATEMÁTICAS
INTRODUCTION TO THE THEORY OF COMPUTATION
CONJUNTO
• Def. El conjunto es un grupo de objetos representados como una unidad
• NOTA 1: Puede contener cualquier tipo de objetos excepto el mismo objeto
• NOTA 2: Los elementos no se pueden repetir {1,2,2,1,2,1,1} = {1,2}
• NOTA 3: El orden de los elementos no importa {1,2} = {2,1}
• |A| = 6
•• B
  = {{2,3,5}, {4, 5},3,2,(4,5)} |B| =5
• C |C| = 3
• = {x| P(x)} = {2, 4, 6, …}
• E = {x | x es un numero real positivo}
• : universo del discurso: el superconjunto a partir del cual se definen otros conjuntos
• = Conjunto vacío
CONJUNTO

• Def. A es un subconjunto de B, que se denota por

• Por ejemplo
A = {2,4}
B = {1,2,3,4,5}
•C = {2,4,6}
 Notamos que A es un subconjunto B porque todos los elementos de A están en B
 Notamos que C NO es un subconjunto de B porque el 6 esta en C y el 6 no está en B
 {} ( )
 {} ( )
OPERACIONES DE CONJUNTOS

• Unión de conjuntos
• Intersección de conjuntos
• Diferencia de conjuntos
• Complemento del conjunto
•POR  EJEMPLO
: El conjunto de los números enteros positivos
A = {1,2,3,4,5} B = {2,4,7,8,9}
A U B = {1,2,3,4,5,7,8,9} = {2,4}
CONJUNTO POTENCIA

• Conjunto potencia de A, que se denota por es el conjunto de los todos los subconjuntos de A
• Por ejemplo
•A =  {1,2,3} |A| = 3 |A| : cardinalidad de A
= 2},{3},{1,2},{1,3},{2,3},{1,2,3}}
SECUENCIA

• Def. Es un lista de objetos en un orden.

(2,4,11) ≠ (11, 4, 2) ≠ (4, 11 2)
• NOTA 1: Los objetos tiene definido un orden.
• NOTA 2: Los objetos se pueden repetir. (1,2,1,3,2,1)
• Def. Una tupla es una secuencia finita. Tiene un cantidad n de objetos.
• Def. Una secuencia con k elementos es una k-tupla
• 2-tupla se le llama par ordenado
• 3-tupla se le llama tripleta
PRODUCTO CARTESIANO
• El producto cartesiano de A y B, que se denota por A X B, es el conjunto de pares ordenados donde la
primera componente está en A y la segunda componente está en B
• A X B = {(x,y) | }
Por ejemplo
A
• =  {1,2,3}
B = {a,b,c,d}
A X B = {(1,a),(1,b),(1,c),(1,d),(2,a),(2,b),(2,c),(2,d),(3,a),(3,b),(3,c),(3,d)}
NOTA #1: Se puede construir el producto cartesiano de n conjuntos.
NOTA #2: Una relación R de A en B es cualquier subconjunto del producto cartesiano de A y B.
FUNCIÓN

• Es un objeto que establece una relación de entrada-salida. (entrada,salida)

• NOTA 1: Cada componente de entrada debe tener su respectiva salida
• NOTA 2: Algunas salidas, no necesariamente tienen entradas relacionadas
• NOTA 3: La componente de entrada solo debe aparecer una sola vez
• NOTA 4: La componente de entrada se llama preimagen y la segunda componente se llama imagen
• NOTA 5: El conjunto de entrada se llama DOMINIO y el conjunto de llegada se RANGO o CODOMINIO
POR ejemplo
A = {1} B = {a,b,c} f: A  B f = {(1,b)} f(1) = b
A = {1,2} B = {a,b,c} f: A  B f = {(1,b), (2,c)}
FUNCION

• Una función es inyectiva (uno a uno) si para toda preimagen del dominio, esta tiene su propia imagen a
través de la función. No puede haber dos preimágenes con una misma imagen.
• Una función es sobreyectiva (sobre) si para toda imagen del dominio, este tiene su respectiva
preimagen a través de la función.
• Una función es biyectiva si es inyectiva y sobreyectiva.
GRAFO O GRAFO NO DIRIGIDO

• Un grafo no dirigido es un conjunto de puntos con líneas conectando algunos de los nodos.
• A los puntos se les llama vértices.
• A las líneas se le llama aristas.
• NOTA #1: El grado del vértice es el numero de aristas anexadas al vértice.
• NOTA #2: El grafo de denota de la siguiente manera G = (V,E)
donde V es el conjunto de vértices y E es el conjunto de aristas.
• NOTA #3: Una ruta en un grafo es una secuencia de vértices conectadas con aristas.
• NOTA #4: Una ruta simple es un ruta donde no se repite ningún nodo.
 GRAFO NO DIRIGIDO
• Nota #5: Un grafo está conectado si para cualquiera dos nodos del grafo existe un ruta entre ellos.
• Nota #6: Una ruta es un ciclo si la ruta inicia y finaliza con el mismo vértice.
• Nota #7: Un ciclo simple es un ciclo que tiene al menos tres vértices y no se repiten ningún vértice
excepto el primer y el ultimo vértice.
• Nota #8: Un grafo es un árbol si esta conectado y no tiene ciclos simples.

G = (V, E) V = {a,b,c,d}
E = {{a,b},{a,a},{c,d},{b,d}}
GRAFO DIRIGIDO

• Un grafo no dirigido es un conjunto de puntos con flechas conectando algunos de los nodos.

G = (V, E) V = {a,b,c,d}
E = {(a,b),(a,d),(c,d),(b,d)}
ALFABETO, CADENA Y LENGUAGE

• Alfabeto : conjunto finito de símbolos

Por ejemplo
= {0,1} = {00,01,10,11} = {000,001,010,100, 110,101,011,111}
•  

• Cadena: es una secuencia de símbolos bajo un alfabeto especifico

• Cadena vacía : La cadena que no tiene ningún símbolo:
• Lenguaje: es un conjunto de cadenas bajo un alfabeto.
DEFINICIÓN DE UN AUTÓMATA FINITO
DETERMINÍSTICO

• Es una quíntupla (Q, , )

• Q: Conjunto de estados finitos

•  
• : Q X  Q : función de transición
• : estado inicial: pertenece a Q
• F: el conjunto de estados finales: F es un subconjunto de Q
EJERCICIO #1

Construya un autómata finito que determine todas las cadenas binarias que finalizan
con 01.

•1.   Q = {s0, s1, s2}

1. s0 : no finaliza con 01 Est\Sim 0 1
2. S1: el penultimo símbolo es 0 S0 S1 S0
3. S2: finaliza con 01 S1 S1 S2
2. s0: estado inicial S2 S1 S0
3. : Q X  Q
4. F = {s2}
DEFINICIONES
• Sea
• Sea M = (Q, , ) un autómata finito
• Si A = L(M) entonces A es un lenguaje regular
• L(M) es el lenguaje reconocido por el automata finito.

•  
EJERCICIOS
1. Construya un autómata finito de las cadenas binarias que tienen un numero par de ceros.
A = {x | x es una cadena que tiene un numero par de ceros} L(M) = A
2. Construya un autómata finito de las cadenas binarias que tiene un numero par de ceros y un numero
impar de unos.
3. Construya un autómata finito de las cadenas binarias que tienen exactamente dos ceros.
4. Construya un autómata finito de las cadenas binarias que tienen exactamente una vez la cadena 00.
5. Construya un autómata finito de las cadenas binarias que no terminan con 01.
6. Construya un autómata finito de las cadenas binarias que inician con 00 o 11.
7. Construya un autómata finito de las cadenas binarias que inician con 00 o 11, y finalizan con 01
8. Construya un autómata finito de las cadenas binarias que inician y finalizan con 00 o 11.
9. Construya un autómata finito de las cadenas binarias que cada 0 va seguido inmediatamente de 11.