1

UNIDAD I INTRODUCCION
La teoria de la Computacion es un poco mas antigua que las computadoras electronicas. Uno de sus pioneros, Turing pudo anticipar el poder de las computadoras (modelo conceptual, 1936). Otras disciplinas como matematicas, filosofia, linguistica, biologia e ingenieria elctrica intervienen para completar sus teorias. Las teorias de bases son dos: Teoria de automatas y Teoria de Lenguajes formales. En general, la Teoria de la Computacion facilita la comprension de muchas areas de la ciencia de la computacion (como compiladores), ademas: 1) Se utiliza en el diseno y construccion de aplicaciones importantes de software y hardware. 2) Ayuda a comprender que esperar del software. 3) Permite deducir si es posible resolver un problema (limites de la computacion). Ademas, la comprension de estas teorias representa en la practica un conjunto de herramientas muy utiles como alternativas simples y eficientes para resolver problemas. Que es una teoria? Dentro del proceso de produccion cientifica: Una Teoria es un conjunto de medios de representacion conceptual y simbolica (explicativo de los hechos), que tiene ademas un conjunto de reglas de inferencia que permitan la prevision de los datos de hecho. Que es la computacion? Ejecucion de un algoritmo. La computacion es una secuencia de pasos que puede ejecutar la computadora. La computadora que utilizamos es compleja, cambia con el tiempo. Una teoria basada en especificaciones de hardware no seria muy util. Por tanto los Modelos de Computacion estan basados en maquinas abstractas (matematica). Conceptos matematicos bsicos Para entender y comprender completamente lo anterior y la materia se debe mantener presentes siempre los siguientes conceptos matematicos basicos : 1) Conjunto: Un conjunto es simplemente una coleccin arbitraria de objetos(del mismo tipo) sin repeticin. Si un conjunto es finito y no demasiado grande, podemos describirlo enumerando sus elementos. Por ejemplo: A={1,2,3,4} Si un conjunto es finito pero grande, o bien es infinito, podemos describirlo enunciando una propiedad necesaria para la pertenencia a dicho conjunto. Por ejemplo:

B = {x/x es un entero positivo par}

El conjunto B est formado por todos los enteros positivos pares (2,4,6,)

2 Dada una descripcin de un conjunto X y un elemento x, podemos determinar si ste pertenece o no a X . Si los miembros de X se enumeran como en el conjunto A, solo revisamos la lista para ver si el elemento x aparece en dicha lista. En una descripcin como la del conjunto B verificamos si el elemento x tiene la propiedad indicada. Si x est en el conjunto X, escribimos xE X y si x no est en X, escribimos xE X Por ejemplo, si x=1, entonces x E A , pero x E B, en base a los ejemplos de los conjuntos A y B. El conjunto sin elemento es el conjunto vaco y se denota = {} Supongamos que A y B son conjuntos. Si todo elemento de A es un elemento de B, decimos que A es un subconjunto de B y lo representamos asi A C B

Ejemplo: Si C = {1, 3} y A = {1,2,3,4}, indicar si C es subconjunto de A. Nota: Cualquier conjunto X es un subconjunto de si mismo, pues cualquier elemento en X esta en X. El conjunto vaco es un subconjunto de cualquier conjunto. Dados dos conjuntos X y Y, existen varias formas de combinar X y Y para formar un nuevo conjunto. El conjunto X UY={x/xE X x E Y}

es la unin de X y Y. La unin consta de todos los elementos que pertenecen a X a Y ( a ambos) y se representa:

El conjunto X Y={x/xE X y x E Y}

es la interseccin de X y Y. La interseccin consta de todos los elementos que pertenecen a X y a Y y se representa:

Los conjuntos X y Y son ajenos si X

Y = {}

El conjunto A-B={x/xE A y x E B}

4 Es la diferencia (o complemento relativo). La diferencia de A B consta de todos los elementos en A que no estn en B, y se representa:

Ejemplo: Dados los conjuntos: A = { a, b, c, d, e }, B = { a, e } y C = { d, f, g }, efectuar y construir los diagramas respectivos: a) A - C b) B - C c) A - B

Ejercicio: Si A = {1, 3, 5} y B = {4, 5, 6}, entonces A UB= A B=

A - B= B - A= A veces trabajaremos con varios conjuntos, todos los cuales sern subconjuntos de un conjunto U. Este conjunto U es un conjunto universal o universo. Dado un conjunto universal y un subconjunto A de U, el conjunto U - A es el complemento de A y se denota

A y se representa por:

Sea A = {1,3,5}. Si el conjunto universal U se especifica como U = {1,2,3,4,5}, entonces A = {2,4}. Por otro lado, si el conjunto universal U se especifica como U = {1,3,5,7,9}, entonces A = {7,9}. Es claro que el complemento depende del universo con el cual estamos trabajando.

Un par ordenado de elementos, que se escribe (a,b), se considera distinto del par ordenado (b,a), a menos, por supuesto que a = b. Dicho de otra forma (a,b) = (c,d) si y solo si a = c y b = d. Si X y Y son conjuntos, X X Y denota el conjunto de todos los pares ordenados (x,y) tales que x E X y y E Y. X X Y es el producto cartesiano de X y Y. Si X = {1,2,3} y Y = {a,b}, entonces X X Y= Y X X= X X X= Y X Y= Ejemplo: Si X={1,2}, Y={a,b}, Z={m,n}; encontrar el producto cartesiano X Y Z

El conjunto de todos los subconjuntos de un conjunto X, denotado P(X) es el conjunto potencia de X. Si A = {a,b,c}, los miembros de P(A) seran {} , {a}, {b}, {c}, {a,b}, {a,c}, {b,c}, {a,b,c} es decir / A / = 3, P(A) = 23 = 8 Si /X/ = n, entonces

6 P ( X ) = 2n si n = 0, X es el conjunto vaco. El nico subconjunto del conjunto vaco es el propio conjunto vaco; as, P(X) = 20 = 1

Ejercicios: 1. Obtener el conjunto potencia de P({a,b}) y sus subconjuntos 2. Cuantos subconjuntos obtendra del conjunto {a,b,c,d}

2) Funciones y Relaciones.

Una relacin binaria R de un conjunto X en un conjunto Y es un subconjunto del producto cartesiano X * Y. Si (x,y) R, escribimos xRy y decimos que x est relacionado con y. Si X = Y, decimos que R es una relacin binaria sobre X. El conjunto {x X / (x,y) R para algn y Y} es el dominio de R. El conjunto {y Y / (x,y) R para algn x X} es el rango de R. Si una relacin se indica mediante una tabla, el dominio esta formado por los miembros de la primera columna y el rango consta de los miembros de la segunda columna. Ejemplo: Sean X=[2,3,4} y Y={3,4,5,6,7}. Si definimos una relacin R de X en Y como (x,y) R si x divide a y (con residuo igual a cero) Obtenemos R = {(2,4),(2,6),(3,3),(3,6),(4,4)}

Ejemplo: Sea R la relacin sobre X={1,2,3,4} definida como (x,y) R si x < y, x,y X. Entonces

R = {(1,1),(1,2),(1,3),(1,4),(2,2),(2,3),(2,4),(3,3),(3,4),(4,4)}

Una funcin es un tipo especial de relacin. Una funcin f de X en Y es una relacin con las siguientes propiedades: 1. El dominio de f es X. 2. Si (x,y),(x,y) f, entonces y = y.

A veces una funcin de X en Y se denota como f : X

Y.

La relacin f = {(1,a),(2,b),(3,a)} de X={1,2,3} en Y={a,b,c} es una funcin de X en Y. El dominio de f es X y el rango de f es {a,b}. La relacin R={(1,a),(2,a),(3,b)} de X={1,2,3,4} en Y={a,b,c} no es una funcin de X en Y. No se cumple con la propiedad 1.

3) Cadena y Lenguajes Alfabeto: Denotado con (sigma). Conjunto finito de simbolos no vacios. Por ejemplo: Alfabeto binario = { 0, 1 } Simbolo: por ejemplo numeros, letras, etc. Cadena (Palabra): secuencia finita de simbolos pertenecientes a un alfabeto Por ejemplo: Cadena binaria: 0111001 - Cadena Vacia (epsilon): contiene cero (0) simbolos, puede construirse a partir de cualquier alfabeto. - Longitud de una Cadena: numero de posiciones de la cadena ocupadas por simbolos del alfabeto ejemplo: |01101|= 5 ||=0

- Concatenacin de Cadenas : x y y cadenas entonces xy denota la concatenacin. ejemplo: x = 011 y = 1110, la concatenacin de xy = 0111110

8 - Potencias de un Alfabeto: Conjunto de todas las cadenas de cierta longitud de un alfabeto. k Cadenas de longitud k formadas por simbolos del alfabeto ejemplo: Para el alfabeto binario = {0,1} 2 = { 00, 11, 10, 01} 3 = { 000, 011, 010, 001, 100,111, 110, 101} * Conjunto de todas las cadenas formadas por simbolos del alfabeto . Se define por 0 U i . Donde 0 = {} y i = Ui1, + = * - {} Lenguaje: Conjunto de cadenas de smbolos del mismo alfabeto. - El lenguaje formado por todas las cadenas posibles de un alfabeto se denota por L*, incluyendo la cadena vaca. - L0 = {} es un lenguaje formado por la cadena vacia. Es un lenguaje para cualquier alfabeto . -L+ = L* - {} ejemplo: Siendo L y M lenguajes sobre cierto alfabeto, realizar las siguientes operaciones: L={casa,mesa} y M={libro,mochila} a) b) c) d) e) f) L U M LM ML L0 (LM) U L (L U M? ) {} Es un lenguaje para cualquier alfabeto .

Induccin matemtica Sea Sn una funcin proposicional cuyo conjunto de referencia es Z+. Si Sn satisface las siguientes dos condiciones:

Entonces Sn es cierta para todo n

Z+.

Ejemplo: Demuestre que la suma de los primeros n enteros impares positivos es n2. Sea Sn= 1 + 3 + 5 + 7 + ... + (2n -1) = n2 (hiptesis de induccin) Entonces hay que demostrar que S1 es cierta y que Sn Paso Base Sn = n2 S1= 1 = 12 Paso Inductivo Sn+1 = 1 + 3 + 5 + 7 + ... + (2n-1) + (2(n+1) 1) Entonces, Sn+1 es cierta.

= 1 + 3 + 5 + 7 + ... + (2n-1) + (2(n+1) 1)

n2 + (2(n+1) - 1) n2 + (2n + 2 1) n2 + 2n + 1 (n+1)2

Con lo anterior queda demostrado que la suma de los n impares positivos es n2. Ejercicios

10 1. Demuestre que : 1 + 2 + 3 + + n = n(n+1) 2 2. Demuestre que: 1*3 + 2*3 + 3*4 ++n(n+1) = n(n+1)(n+2) 3 3. Demuestre que: 12 + 22 + 32 + + n2 = n(n+1)(2n+1) 6 4. Demuestre que: 1 1*3 + 1 3*5 + 1 5*7 ++ 1 = n 2n+1 para cada entero positivo n para cada entero positivo n para cada entero positivo n para n = 1,2,

(2n-1)(2n+1)

A) Deductivo: Secuencia de pasos justificados. Parte de proposiciones o afirmaciones y conduce a una conclusion. Pasos usan principios logicos. B) Inductiva: afirmacion parametrizada recursivamente. Proposicion S(n), se debe demostrar: a) La base para cierto valor entero i (i=0, i=1 generalmente). b) Paso inductivo: ni , siendo i el elemento de la base y se demuestra si S(n) S(n+1). Esto prueba que S(n) es cierta para cualquier entero ni . Principio de Induccion : Si se prueba S(i) y se prueba para todo ni , S(n) implica S(n+1), entonces puede concluirse S(n) para todo ni. Por ejemplo: Demostrar Si x4 entonces Caso Base x=4 Paso Inductivo. S(x) tomo como hipotesis que si x entonces S(x+1) pruebo. Por Hipotesis , S(x) 2S(x) restando 2x2 - X2 dividiendo entre x