Teora de la Computacin 1.1.

Unidad I. Introduccin a los Autmatas

AUTMATAS, COMPUTABILIDAD Y COMPLEJIDAD. Los autmatas vienen a ser mecanismos formales que realizan''

derivaciones en gramticas formales. La manera en que las realizan es mediante la nocin de reconocimiento. Una palabra ser generada en una gramtica si y slo si la palabra hace transitar al autmata correspondiente a sus condiciones terminales. Por esto es que los autmatas son analizadores lxicos (llamados en ingls parsers'') de las gramticas a que corresponden. A las funciones computables es posible presentarlas tambin como elementos de clases mnimas de funciones que contienen a un cierto conjunto de funciones y que son cerradas bajo algunos esquemas de composicin. 1.2. NOCIONES MATEMTICAS La teora de la computacin es una ciencia, en particular una rama de la matemtica y de la computacin que centra su inters en el estudio y definicin formal de los cmputos. Se le llama cmputo a la obtencin de una solucin o resultado (generalmente en el sentido matemtico/aritmtico del trmino), a partir de ciertos datos o entradas utilizando para ello un proceso o algoritmo. La evolucin del conocimiento matemtico debe buscarse en la resultante del hombre como especie paulatinamente capaz de reunir experiencia y abstraer, y las muy condicionantes dinmicas propias de la evolucin de cada sociedad. En ese sentido es probable que haya sido el propio cuerpo humano el instrumento y la referencia para los procesos de insercin de la experiencia dentro de la lgica y de la generacin de conocimiento.

L.I. Esteban Snchez Mendoza

Pgina 1

Teora de la Computacin 1.2.1. CONJUNTOS

Unidad I. Introduccin a los Autmatas

La Teora de Conjuntos es la rama de las matemticas a la que el matemtico alemn Georg Cantor dio su primer tratamiento formal en el siglo XIX. El concepto de conjunto es uno de los ms fundamentales en matemticas, incluso ms que la operacin de contar, pues se puede encontrar, implcita o explcitamente, en todas las ramas de las matemticas puras y aplicadas. En su forma explcita, los principios y terminologa de los conjuntos se utilizan para construir proposiciones matemticas ms claras y precisas y para explicar conceptos abstractos como el infinito. Otra aplicacin de la teora de conjuntos la encontramos con el modelado e investigacin de operaciones en las ciencias computacionales. Los conjuntos fueron por primera vez formalmente estudiados por G. Cantor. Despus de esto la teora de conjuntos se ha convertido en un rea muy bien establecida de matemticas, contradicciones o paradojas que encontramos en dicha teora. Un Conjunto es cualquier coleccin de objetos el cual puede ser tratado como una entidad, y un objeto de la coleccin se dice que es un elemento o miembro del conjunto. Dado un objeto X y un conjunto S, si X es un elemento del conjunto S, lo podemos escribir como X S; si X no es un elemento del conjunto S, podemos escribirlo como (X S) o tambin X S. Subconjuntos Definicin subconjunto: Se dice que un conjunto S es subconjunto T, si todos los elementos de S los son T. El smbolo se lee (es subconjunto de). As, (S T ) se lee (S es subconjunto de T). Decir que S no es subconjunto de T significa que algn elemento de S no lo es de T. En tal caso escribimos S T. Ejemplo: sea S = (a,b,c,d) y T=(a,b,c,d,e). Vemos que S T. Sin embargo si H={a.b.c.f}, notamos que f T, de modo que H T.
L.I. Esteban Snchez Mendoza Pgina 2

Teora de la Computacin

Unidad I. Introduccin a los Autmatas

OPERACIONES CON CONJUNTOS Unin: Dados dos conjuntos cualesquiera A y B llamamos "Unin" de A y B al conjunto formado por todos los elementos que pertenecen a A o a B. Simblicamente: A B = { x : x A x B} Interseccin: Dados dos conjuntos cualesquiera A y B llamamos "Interseccin" de A y B al conjunto formado por todos los elementos que pertenecen a A y pertenecen a B. Simblicamente: A B = { x : x A x B} Diferencia: Dados dos conjuntos cualesquiera A y B llamamos "Diferencia" de A "menos" B al conjunto formado por los elementos que pertenecen a A y no pertenecen a B. Simblicamente: A - B = { x : x A xB} Complemento: Dados dos conjuntos cualesquiera A y B con B A (B Subconjunto de A) llamamos "Complemento de B respecto a A" al conjunto de elementos que pertenecen a A y no a B, esto es lo que le falta a B para ser igual a A. Producto Cartesiano: Para definir el Producto cartesiano de dos conjuntos cualesquiera A y B primero definiremos lo que es un par ordenado:

L.I. Esteban Snchez Mendoza

Pgina 3

Teora de la Computacin Par Ordenado:

Unidad I. Introduccin a los Autmatas

Un par ordenado es un conjunto de dos elementos donde nos interesa el orden en que estos aparezcan, esto es posee un primer elemento y un segundo elemento. Se representara con parntesis y a los elementos se les denominara componentes: (a,b) representa el par ordenado cuya primera componente es a y su segunda componente es b . Debemos observar que para que dos pares ordenados sean iguales sus componentes deben serlo: (a,b) = (c,d) si y solo si a=c y b=d.

LGEBRA DE CONJUNTOS Las siguientes propiedades, se cumplen si A, B, C,... son subconjuntos de un conjunto l:

L.I. Esteban Snchez Mendoza

Pgina 4

Teora de la Computacin DIAGRAMA DE VENN

Unidad I. Introduccin a los Autmatas

Los Diagramas de Venn se basan fundamentalmente en representar los conjuntos matemticos con unas circunferencias. Con estas circunferencias el estudiante realiza una serie de operaciones como la unin, la interseccin, etc. Podramos decir que el manejo de los Diagramas de Veen sirven para orientar al estudiante, son una herramienta metodolgica que tiene el profesor para explicar la Teora de Conjuntos.

Diagrama de la interseccin de dos conjuntos. En teora la interseccin de dos conjuntos podemos definirla como la parte comn que tienen dos conjuntos, si es que existe (Ejemplo de inexistencia: la interseccin de los nmeros pares con los impares). Pues el diagrama que viene a continuacin representa dicha situacin. Diagrama de la interseccin vaca (no hay ningn elemento comn) En efecto, se observa que ambos conjuntos no tienen ninguna parte comn. Esto se le llama en Matemticas conjunto vaco y se representa: .

Diagrama de la unin de dos conjuntos. En teora la unin de dos conjuntos podemos definirla como una suma de un conjunto con otro. Pues el diagrama que se muestra a continuacin representa la situacin descrita anteriormente. 9211681526
L.I. Esteban Snchez Mendoza Pgina 5

Teora de la Computacin

Unidad I. Introduccin a los Autmatas

Diagrama del complementario de un conjunto. En teora el complementario de un conjunto se hace en referencia a un conjunto universal y se define como los elementos que no pertenecen al conjunto. Tan raro se entiende mejor con el siguiente diagrama. El conjunto U es el universal (parte amarilla y blanca) y el complementario de A es solo la parte amarilla del dibujo. El complementario de un conjunto se representa Ac.

Diagrama de la diferencia de conjuntos. La diferencia B - A es la parte de B que no est en A. La diferencia de conjuntos en matemticas se expresa B\A, para este caso.

Diagrama de la inclusin de conjuntos. En el diagrama se puede observar como el conjunto B esta contenido (o incluido) en el conjunto A. Esto matemticamente se expresa BA.

L.I. Esteban Snchez Mendoza

Pgina 6

Teora de la Computacin 1.2.2. FUNCIONES Y RELACIONES Funcin

Unidad I. Introduccin a los Autmatas

Una funcin es una regla que asigna a cada elemento de un conjunto A uno y slo un elemento de un conjunto B.

Relacin Una relacin es una correspondencia entre un primer conjunto llamado dominio y un segundo conjunto llamado contra-dominio de modo que a cada elemento del dominio corresponde uno o ms elementos del contra-dominio.

Formas de especificar las Relaciones y Funciones Generalmente una relacin se representa por el Mtodo de la flecha, en forma de tabla, como conjunto de pares ordenados, en forma grfica y en forma de Ecuacin. El primero como su nombre lo dice se traza una flecha del dominio al contra-dominio. En forma de tabla se escribe el dominio en la primera columna y el contra-dominio en la segunda. Como conjunto de pares ordenados de nmeros reales, se escribe el conjunto de puntos separados por una coma. Y en forma grfica, se marcan los correspondientes puntos del conjunto en el plano cartesiano esta recibe el nombre de grfica de la relacin. Cuando se representa en forma de ecuacin, se evala la funcin con el valor de X. Ejemplos: Correspondencia o relacin entre los elementos del conjunto F = {(1, 5), (2, 7), (3, 9), (4, 11),} 1. En forma de Ecuacin. En los datos no se proporcion ecuacin alguna, por lo que en ocasiones no se puede representar en forma de ecuacin. Sin embargo en este caso es fcil obtenerla, siendo: y = 2x +3
L.I. Esteban Snchez Mendoza Pgina 7

Teora de la Computacin 2. Mtodo de la flecha

Unidad I. Introduccin a los Autmatas

3. Como conjunto de pares ordenados de nmeros reales. El conjunto lo proporcionaron como dato F = {(1, 5), (2, 7), (3, 9), (4, 11),} 4. En forma de tabla x 1 2 3 4 5 7 9 11 y

5. En forma grfica

OPERACIONES CON FUNCIONES Suma de funciones Sean f y g dos funciones reales de variable real definidas en un mismo intervalo. Se llama suma de ambas funciones, y se representa por f + g, a la funcin definida por: f + g (x)=f(x) + g(x)
L.I. Esteban Snchez Mendoza Pgina 8

Teora de la Computacin Resta de funciones

Unidad I. Introduccin a los Autmatas

Del mismo modo que se ha definido la suma de funciones, se define la resta de dos funciones reales de variable real f y g, como la funcin:

f - g (x)=f(x) - g(x)
Para que esto sea posible es necesario que f y g estn definidas en un mismo intervalo. Producto de funciones Sean f y g dos funciones reales de variable real, y definidas en un mismo intervalo. Se llama funcin producto de f y g a la funcin definida por:

f . g (x)=f(x) . g(x)
Cociente de funciones Dadas dos funciones reales de variable real, f y g, y definidas en un mismo intervalo, se llama funcin cociente de f y g a la funcin definida por: f(x) (x)= g(x) (La funcin f/g est definida en todos los puntos en los que la funcin g no se anula.) Producto de un nmero por una funcin Dado un nmero real a y una funcin f, el producto del nmero por la funcin es la funcin definida por: . = . () 2.1.1. CADENAS Y LENGUAJES Una cadena o palabra es una secuencia finita de smbolos que pertenecen a un alfabeto y comnmente se denota con la letra . La cadena vaca se denota como y es una secuencia vaca de smbolos tomados de cualquier alfabeto .

L.I. Esteban Snchez Mendoza

Pgina 9

Teora de la Computacin

Unidad I. Introduccin a los Autmatas

Un alfabeto es un conjunto finito no vaco de smbolos y se denota como . La pertenencia de un smbolo a un alfabeto se denota como . El producto cartesiano de dos conjuntos A y B consta de las parejas ordenadas cuyo primer elemento est en A y cuyo segundo elemento est en B. S el alfabeto es el espaol, algunas cadenas pueden ser yomero, tumero y malnacido. Dada la definicin anterior, cualquier palabra que contenga los smbolos del alfabeto es una cadena vlida, sin importar si esta tiene o no significado alguno. Si es cualquier cadena, su longitud se denota como ||, la longitud de una cadena es el nmero de smbolos que contiene, por ejemplo, si tenemos la cadena = malnacido sobre el alfabeto espaol, || = 9. La cadena vaca no tiene smbolos, por lo que | | = 0. Un lenguaje L es un conjunto de cadenas sobre un alfabeto definido, stas pueden ser cualquier cadena , que cumpla con lo siguiente, est formada por los smbolos 1 2 k donde k k. El lenguaje vaco es aquel que no contiene cadenas y no es lo mismo que el lenguaje formado por la cadena vaca { }, ste lenguaje se denota de la misma manera que el conjunto vaco, . 2.2. INDUCCIN MATEMTICA Este procedimiento de demostracin de frmulas cuantificadas

universalmente, es decir, del tipo , verifica primero que se cumple para los casos llamados bsicos, y despus, suponiendo que se cumple para los casos anteriores, se verifica para un elemento tpico x arbitrario. Este ltimo paso es llamado inductivo''. Se concluye entonces que la frmula vale para cualquier x. En la prxima seccin veremos dos esquemas de induccin cuando el dominio de la variable x son los nmeros naturales

L.I. Esteban Snchez Mendoza

Pgina 10

Teora de la Computacin Induccin numrica

Unidad I. Introduccin a los Autmatas

Sea una frmula con una variable libre x, definida en el lenguaje de la aritmtica. Para demostrar la sentencia () , un primer esquema de induccin verifica primero que se cumple (0) y luego, suponiendo que se cumple demuestra que se cumple ; un segundo esquema de induccin verifica primero que se cumple y luego, suponiendo que se cumple (0), para cualquier m<n, demuestra que se cumple (). Estos esquemas, puestos como reglas de deduccin quedan como sigue: Esquema I: 0 (() ( + 1)) ( ) Esquema II: 0 ( < ) ( )

L.I. Esteban Snchez Mendoza

Pgina 11