AUTOMATAS Y LENGUAJES FORMALES

ACTIVIDAD # 2
RECONOCIMIENTO AL CURSO

Estudiante:
JESUALDO GAMEZ BRITO
Correo: jgamez_0@hotmail.com
Cd. 5.164.394

GRUPO: 301405_70
CEAD: LA GUAJIRA

TUTOR
JAIME JOSE VALDES

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

ESCUELA DE CIENCIAS, TEGNOLOGIAS E INGENIERIAS
INGENIERIA ELECTRONICA
SAN JUAN DEL CESAR
FEBRERO 201A

NTRODUCCION
Con el avance en nuestra carrera como futuros ingenieros, 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 se 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 .

OBJETIVOS
Reforzar conceptos bsicos de la Teora de Conjuntos
Interpretar funciones bsicas de los conjuntos
Hacer un recorrido por el aula e identificar las temticas del curso. Definiciones y
conceptos de expresiones regulares, gramticas, lenguajes, alfabetos, cadenas.

JUSTIFICACIN
Temtica; Teora de Conjuntos
El fundamento ms 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.
Existen unas operaciones bsicas que permiten manipular los conjuntos y sus
elementos, similares a las operaciones aritmticas, constituyendo el lgebra de
conjuntos:
Las leyes que se puedan dar en las operaciones con conjuntos las cuales veremos
en este trabajo.
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.

ACTIVIDADES A DESARROLLAR
Sean A, B, C conjuntos y U el conjunto Universal: Demuestre las siguientes propiedades
con un ejemplo (asigne libremente smbolos a sus conjuntos) y explica en que consiste cada
propiedad (identifquela) en caso de que la sea:
El ejemplo incluye el diafragma de ven en el que se evidencia cada operacin (tanto antes
de la igualdad como despus de la igualdad) Recuerde que deben ser claros los diagramas
identificando elementos de cada conjunto. Use notaciones como colores o lneas para hacer
visible e identificable la propiedad en el diagrama.
No se aceptarn diagramas de propiedades bsicas tomadas de la web y menos que no
contengan elementos de ejemplo que caractericen y ejemplifiquen dicha propiedad o
igualdad que se est demostrando. De igual forma las operaciones o frmulas o
representacin algebraica o matemtica de los conjuntos debe ser de su autora (es decir en
procesador de texto) ya sea usando une editor de frmulas o herramienta que le permita
plasmar las operaciones. No se aceptan imgenes copiadas de la web
Sean los conjuntos:
U = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10}
A = {1, 3, 5, 7, 9}
B = {2, 4, 6, 8, 10}
C = {1, 3, 5, 7}
AC = {2, 4, 6, 8, 10}
BC = {1, 3, 5, 7, 9}
={ }
1. A
2. A
3. A -
4. AU
5. AU
6. AAC
7. AAC
8. A - A
9. (AB)C = ACBC
10. A(B - A) = AB
11. (AB) (A B) = (A B) B - A
12. A(BC) = (AB)C
13. A (BC) = (AB) C
14. A (BC) = (AB) ( AC)
15. A (BC) = (AB) ( AC)
16. AB = BA
17. AB = (AB) \ (AB)

Desarrollo.
1. A Ley de identidad
Unin de conjuntos: para todo conjunto A la unin con el conjunto vaco es el conjunto A.
{1, 3, 5, 7, 9} {

} = {1, 3, 5, 7, 9}

2. A ley de denominacin
Interseccin de conjuntos: Para todo conjunto A la interseccin con un conjunto vaco es
igual a vaco.
{1, 3, 5, 7, 9} {

}={

3. A - = ?
Diferencia de conjuntos: La diferencia entre un conjunto A y un conjunto vaco da como
resultado A.
{1, 3, 5, 7, 9} - {

} = {1, 3, 5, 7, 9}

4. AU= ?
Unin de conjuntos: La unin del conjunto A y el conjunto universal da como resultado el
conjunto universal.

{1, 3, 5, 7, 9} {1, 2, 3, 4, 5, 6, 7, 8, 9, 10} = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10}

5. AU= ?
Interseccin de conjuntos: La interseccin del conjunto A con el conjunto universal da
como resultado el conjunto A.
{1, 3, 5, 7, 9} {1, 2, 3, 4, 5, 6, 7, 8, 9, 10} = {1, 3, 5, 7, 9}

6. AAC= ?
Unin de conjunto: La unin del conjunto A con el complemento de A da como resultado el
conjunto universal.
{1, 3, 5, 7, 9} {2, 4, 6, 8, 10} = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10}

7. AAC= ?
Interseccin de conjuntos: La interseccin de A con el complemento de A da como
resultado un conjunto vaco.
{1, 3, 5, 7, 9} {2, 4, 6, 8, 10} = {

8. A - A= ?
Diferencia de conjuntos: La diferencia de A entre A da como resultado un conjunto vaco.
{1, 3, 5, 7, 9} - {1, 3, 5, 7, 9} = {

9. (AB)C = ACBC= ?
Igualdad entre la interseccin y la unin de conjuntos: La interseccin entre los
conjuntos A y B es vaco. Y el complemento de vaco en el conjunto universal.
La unin entre el complemento de A y el complemento de B da como resultado el conjunto
universal, por lo tanto la igualdad de da.
AB= {1, 3, 5, 7, 9} {2, 4, 6, 8, 10} = { }

()C = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10} = U

ACBC = {2, 4, 6, 8, 10} {1, 3, 5, 7, 9} = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10}

10. A (B - A) = AB= ?
Igualdad entre la unin de la diferencia con A y la unin de A con B:La unin de la
diferencia de B menos A con A es igual al conjunto universal. Y como se observa es igual a
la unin de A con B.
B - A = {2, 4, 6, 8, 10} - {1, 3, 5, 7, 9} = {2, 4, 6, 8, 10}

A (B - A) = {1, 3, 5, 7, 9} {2, 4, 6, 8, 10} = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10} = U

AB = {1, 3, 5, 7, 9} {2, 4, 6, 8, 10} = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10} = U

11. (AB) (A B) = (A B) B - A= ?
Para todas las diferencias entre la unin de dos conjuntos A U B y la interseccin de
esos mismos dos conjuntos A B siempre ser igual a la diferencia de A - B unida a la
diferencia de B- A que para este caso es igual a conjunto universal U
AB = {1, 3, 5, 7, 9} {2, 4, 6, 8, 10} = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10} = U

AB = {1, 3, 5, 7, 9} {2, 4, 6, 8, 10} = {

}=

(AB) (A B) = U = U

A - B = {1, 3, 5, 7, 9} {2, 4, 6, 8, 10} = {1, 3, 5, 7, 9} = A

B - A = {2, 4, 6, 8, 10} - {1, 3, 5, 7, 9} = {2, 4, 6, 8, 10} = B

(A B) B A = A B = U

12. A(BC) = (AB)C= ?(propiedad asociativa de la unin)

La unin de los conjuntos A, B y C, es el conjunto formado por todos los elementos de
los conjuntos A, B y C. y en este caso es el conjunto universal
A ({2, 4, 6, 8, 10} {1, 3, 5, 7}) = ({1, 3, 5, 7, 9} {2, 4, 6, 8, 10}) {1, 3, 5, 7}

{1, 3, 5, 7, 9} ({1, 2, 3, 4, 5, 6, 7, 8, 9, 10}) = ({1, 2, 3, 4, 5, 6, 7, 8, 9, 10}) {1, 3, 5, 7}

Donde A (BC) = U

(AB) C=U

13. A (BC) = (AB) C (propiedad asociativa de la interseccin)

La interseccin entre los conjuntos A, B, Y C da como resultado el conjunto de todos los
elementos comunes entre los conjuntos A, B, Y C que para este caso es vacio
A ({2, 4, 6, 8, 10} {1, 3, 5, 7}) = ({1, 3, 5, 7, 9} {2, 4, 6, 8, 10}) C {1, 3, 5, 7, 9}
({ }) = ({ }) {1, 3, 5, 7}

{ }

{ }

14. A (BC) = (AB) ( AC) = propiedad distributiva de los conjuntos A,B, Y C,

La unin del conjunto A con la interseccin de los conjuntos A, C es el conjunto
formado por los elementos comunes de A, B, y C
A ({2, 4, 6, 8, 10} {1, 3, 5, 7}) = ({1, 3, 5, 7, 9} {2, 4, 6, 8, 10}) ( {1, 3, 5, 7, 9} {1,
3, 5, 7})
{1, 3, 5, 7, 9} () = ({1, 2, 3, 4, 5, 6, 7, 8, 9, 10}) ( {1, 3, 5, 7, 9})
{1, 3, 5, 7, 9}={1, 3, 5, 7, 9}
{A}
= { A}

15. A (B C)= (AB) ( AC)= propiedad distributiva de los conjuntos A,B, Y C,

La interseccin del conjunto A con la unin de los conjuntos A y B da como

resultado los elementos comunes entre A y C
A ({2, 4, 6, 8, 10} {1, 3, 5, 7})) = ({1, 3, 5, 7, 9} {2, 4, 6, 8, 10}) ( {1, 3, 5, 7, 9} {1,
3, 5, 7})
A ({1, 2, 3, 4, 5, 6, 7, 8, 10}))= ({}) ( {1, 3, 5, 7, })
{1, 3, 5, 7, 9}{1, 2, 3, 4, 5, 6, 7, 8, 10}))=( {1, 3, 5, 7, })
{1, 3, 5, 7, }= {1, 3, 5, 7, }
{C}
=
{C}}

16. AB = BA=
{1, 3, 5, 7, 9} {2, 4, 6, 8, 10} = {2, 4, 6, 8, 10} {1, 3, 5, 7, 9}

{1, 2, 3, 4, 5, 6, 7, 8, 10}
{U }

=
=

C1, 2, 3, 4, 5, 6, 7, 8, 10}
{ U}

17. A B = (AB) \ (AB) = Igualdad de la diferencia cimetrica

La igualdad de la diferencia simtrica entre los conjunta A y B nos da como
resultado el conjunto universal menos la diferencia entre A y B
{1, 3, 5, 7, 9} {2, 4, 6, 8, 10} = ({1, 3, 5, 7, 9} {2, 4, 6, 8, 10} ) \ ({1, 3, 5, 7, 9} {2, 4,
6, 8, 10} )
{1, 2, 3, 4, 5, 6, 7, 8, 10}= {1, 2, 3, 4, 5, 6, 7, 8, 10})
{ U}
=
{ U}

CONCLUCION
Despues de haber realizado un recorrido por la tarea de reconociminto al curso me
ha quedado claro la temtica sobre conjuntos y sus operaciones para poder
aplicarlas en el desrrollo de este modulo.

BIBLIOGRAFIA
Mdulo de autmatas y lenguajes formales
Autor: CARLOS ALBERTO AMAYA TARAZONA (Director Nacional
Guia de actividad del foro de reconocimiento.