INTRODUCCION En la manera que vamos avanzando en nuestra carrera, se hace necesario que, a lo largo de la formacin, veamos diferentes lenguajes

de programacin, y este curso no es la excepcin, Autmatas y Lenguajes Formales, permite que adentremos a la teora de conjuntos en este trabajo de reconocimiento, que nos permite adentrarnos al curso y hacernos una idea clara de los que va a hacer trabajar este curso. La temtica de conjuntos es de gran importancia para llevar a cabo esta actividad, de reconocimiento, y las operaciones que se realizan, tales como son Unin, Interseccin, Complemento, entre otras. Teniendo en cuenta que los lenguajes ms sencillos, pueden describirse como elementos que se generan, como cadenas a partir de cadenas sencillas, con el uso de operaciones de cadenas o el desarrollo del lenguaje mismo, que se puede generar con otros lenguajes ms sencillos mediante operaciones de conjuntos. Los Lenguajes ms sencillos son los considerados lenguajes regulares, es decir, los que se pueden generar a partir de lenguajes de un elemento con la aplicacin de ciertas operaciones estndar realizadas un nmero finito de veces. Estos son algunos de los temas que veremos en el transcurso del curso.

JUSTIFICACIN Temtica; Teora de Conjuntos El fundamento mas importante para el estudio de los lenguajes y autmatas es la Teora de Conjuntos. En efecto, siempre que hablemos de formalizar una nocin, estaremos diciendo en realidad expresar en trminos de la Teora de Conjuntos. La idea de un conjunto como una coleccin de individuos u objetos no es, para un verdadero matemtico, suficientemente precisa, y se parece a la nocin de clase; sin embargo, para nuestros propsitos es suficiente.

Un conjunto que vamos a utilizar con frecuencia es el de los nmeros naturales, {1, 2, 3, . . .}, denotado por N. Existen unas operaciones bsicas que permiten manipular los conjuntos y sus elementos, similares a las operaciones aritmticas, constituyendo el lgebra de conjuntos: Unin. La unin de dos conjuntos A y B es el conjunto A B que contiene cada elemento que est por lo menos en uno de ellos. Interseccin. La interseccin de dos conjuntos A y B es el conjunto A B que contiene todos los elementos comunes de A y B. Diferencia. La diferencia entre dos conjuntos A y B es el conjunto A \ B que contiene todos los elementos de A que no pertenecen a B. Complemento. El complemento de un conjunto A es el conjunto A que contiene todos los elementos (respecto de algn conjunto referencial) que no pertenecen a A. Diferencia simtrica La diferencia simtrica de dos conjuntos A y B es el conjunto A B con todos los elementos que pertenecen, o bien a A, o bien a B, pero no a ambos a la vez. Producto cartesiano. El producto cartesiano de dos conjuntos A y B es el conjunto A B que contiene todos los pares ordenados (a, b) cuyo primer (segundo) elemento pertenece a A (a B). ACTIVIDADES A DESARROLLAR 1. Expresar en extensin el conjunto {x|x , x > 10}. Solucin: sea A el conjunto A= {x|x , x > 10}. Entonces se expresa por extensin como A= {11,12,13,} 2. Expresar en intencin el conjunto {4, 6, 8, 12, 14, 16}. Solucin: sea B = {4, 6, 8, 12, 14, 16} el conjunto dado entonces B= {xN/ x, es un numero par entre 4 y el 16 inclusive pero x 10}.

3. Cul es el tamao del conjunto {} (esto es, cuntos elementos contiene)? Justifique su respuesta Solucin: contiene 1 elemento porque considerando al conjunto {}, como C= {}, se trata de un conjunto con un nico elemento el conjunto vacio {} 4. Sean los conjuntos A = {a, b}, B = {1, 2, 3}. Calcular las siguientes operaciones: (A B) A Se obtiene as: A B= {a, b,1,2,3} y (A B) A= {a, b, 1, 2, 3} - {a, b}= {1, 2, 3} b) A(B A) Solucin: B A ={1, 2, 3}{a, b} = {1, 2, 3} Entonces: A(B A)={a, b} {1, 2, 3} = {a, b, 1, 2, 3} c) 2^AUB Como AUB = {a, b, 1, 2, 3} Solucin: el conjunto potencia 2^AUB se obtiene as: 2^AUB={, {a},{b}, {1},{2},{3},{a, b},{a, 1},{a, 2},{a, 3} {b, 1}, {b, 2},{b, 3} {1, 2},{1, 3}, {2, 3}, {a, b, 1 },{a, b, 2},{a, b, 3}, {a, 1, 2 }, {a, 1, 3}, {a,2,3 }, {b,1,2 },{b,1,3 }, {b,2,3 }, {1,2,3 }, {a,b,1,2}, {a,b,1,3}, {a,b,2,3}, {a,1,2,3} {b,1,2,3} {a,b,1,2,3}} d) A (AB) = es el producto cartesiano

{a , b}x {a,b,1,2,3}= {( a, a), ( a, b), ( a, 1), ( a, 2),( a, 3),( b, a), ( b, b),( b, 1), ( b, 2), ( b, 3)} 5. Calcular los conjuntos potencia de los siguientes conjuntos: {1, 2, 3} Solucin: sea A = {1, 2, 3}, entonces P (A) = 2^A = {, {1}, {2}, {3},{1, 2}, {1, 3}, {2, 3},{1, 2, 3}} {a, b, c, d} Solucin: sea B = {a,b,c, d}, entonces P (B) = 2^B = {, {a}, {b}, {c}, {d}, {a, b}, {a, c}, {a, d}, {b, c}, {b, d}, {c, d}, {a, b, c}, {a, b, d}, {a, c, d}, {b, c, d}, {a, b, c, d }}, es el conjunto potencia de {a, b, c, d} {a, {b, c}} Solucin: sea C = {a, {b, c}}, entonces P (C) = 2^C = {, {a}, {{b, c}}, {a {b, c}}}, es el conjunto potencia de {a, {b, c}} {} Solucin: sea D = {} entonces P (D) = 2^(D )= { {} } e) {1,{2,3}, {4,5},2} Solucin: {1,{2,3}, {4,5},2} = {1,2,{2,3}, {4,5}} Sea E = {1,{2,3}, {4,5},2} = {1,2,{2,3}, {4,5}}, entonces P (E) = 2^(E )={ {1}, {2},{{2,3}},{{4,5}}, {1,2}, {1,{2,3}}, {1,{4,5}}, {2,{2,3}},{,2{4,5}}, {{2,3},{4,5}}, {1,2 {2,3},{1,2 {4,5}},{1,{2,3},{4,5}},{2,{2,3},{4,5}}, {1,2,{2,3}, 4,5}}}

6. Sea R la siguiente relacin de A = {1, 2, 3} en B = {a, b}. R = {(1, a), (1, b), (3, a)}; Representar R como un diagrama cartesiano, un diagrama de flechas y como una tabla binaria. Sea R la siguiente relacin de A = {1,2,3} y B= {a,b} R= {(1,a),(1,b),(3,a)} La representacin de un diagrama cartesiano es la siguiente: