RECONOCIMIENTO DEL CURSO AUTOMATAS Y

LENGUAJES DE FORMALES











JORGE EDUARDO
VIVAS RUALES
Cod: 1144167473







GRUPO
301405_68






TUTOR

JAIME JOSE VALDES























UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD
PROGRAMA DE INGENIERIA DE SISTEMAS
2014
INTRODUCCION



En este trabajo se resolver la actividad 2 del curso autmatas y lenguajes formales, el
cual es basado en el reconocimiento y exploracin del curso como las unidades a
desarrollar, actividades, trabajos colaborativos, fechas de entregas e informacin de los
compaeros y tutor del curso.
JUSTIFICACION



Es importante conocernos y ubicarnos dentro del curso AUTOMATAS Y
LENGUAJES DE PROGRAMACION, as como refrescar algunos conceptos de
la teora de conjuntos que nos van a servir para el desarrollo satisfactorio del
curso.

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.


1. A U = ?

2. A = ?

3. A = ?

4. A U U = ?

5. A U = ?

6. A U Ac = ?

7. A Ac = ?

8. A A = ?

9. (A B)c = Ac U Bc

10. A U (B - A) = A U B

11. (A U B ) ( A B) = (A B) U ( B A )

12. A U (B U C) = (A U B) U C

13. A (B C) = (A B ) C

14. A U (B C) = (A U B ) (A U C)

15. A (B U C) = (A B) U (A C)

16. A U B = B U A

17. A B = B A

18. A B = (A U B) \ (A B)



Sean los conjuntos:





A = {1,2, 3}





B = {2, 4,5}





C = {2, 3,6}








1. A U = ?


A C = A
{1,2, 3}UC = {1,2, 3}

es una equivalencia de conjuntos.







2. A = ?

A C = C
{1,2, 3} C = C Conjuntos complementarios


3. A = ?

A C = A
{1,2, 3} {} = {1,2, 3}




Diferencia de conjuntos



4. A U U = ?


A U = U
U = {1,2, 3, 4,5,6}
{1,2, 3} {1,2, 3, 4,5,6} = {1,2, 3, 4,5,6}




Complemento de conjuntos












5. A U = ?
{1,2, 3} {1,2, 3, 4,5,6} = {1,2, 3}

















6. A U Ac = ?

A A
c
= U
{1,2, 3} {4,5,6} = {1,2, 3, 4,5,6}

























Teora de la diferencia de conjuntos




















7. A Ac = ?

A A
c
= C
{1,2, 3} {4,5,6} = {}



Complemento de conjuntos



8. A A = ?




Para mi concepto esta relacin no existe, porque la teora dice que son lo
elementos que estn en A y no estn en B y si estamos relacionando A-A son
idnticos incluso contienen el conjunto vaco, por lo tanto esta relacin en nula





9. (A B)c = Ac U Bc

(A B)
C
= A
C
B
C

{1, 3, 4,5} = {4,5} {1, 3}
{1, 3, 4,5} = {1, 3, 4,5}







10. A U (B - A) = A U B
{1,2, 3} {4,5} = {1,2, 3, 4,5}
{1,2, 3, 4,5} = {1,2, 3, 4,5}



11. (A U B ) ( A B) = (A B) U ( B A )


(
{1,2, 3} {2, 4,5}
)

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

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



12. A U (B U C) = (A U B) U C


{1,2, 3,}
(
{2, 4,5} {2, 3,6}
)
=
(
{1,2, 3,} {2, 4,5}
)
{2, 3,6}


{1,2, 3} {2, 3, 4,5,6} = {1,2, 3, 4,5} {2, 3,6}

{1,2, 3, 4,5,6} = {1,2, 3, 4,5,6}

U = U Propiedad distributiva









13. A (B C) = (A B ) C
{1,2, 3} ({2}) = ({2}) {2, 3,6}

{2} = {2} Propiedad asociativa de la interseccin























14. A U (B C) = (A U B ) (A U C)
{1,2, 3} {2} = {1,2, 3, 4,5} {1,2, 3,6}

{1,2, 3} = {1,2, 3} Propiedad distributiva



15. A (B U C) = (A B) U (A C)

{1,2, 3} {2, 3, 4,5,6} = {2} {2, 3}

{2, 3} = {2, 3} Propiedad distributiva



16. A U B = B U A

{1,2, 3, 4,5} = {1,2, 3, 4,5}




Propiedad conmutativa











17. A B = B A

{2} = {2} Propiedad conmutativa







18. A B = (A U B) \ (A B)
{1, 3, 4,5} = {1,2, 3, 4,5} \ {2}

{1, 3, 4,5} = {1, 3, 4,5} Diferencia simtrica






CONCLUSIONES




- El curso autmatas y lenguajes formales abordara unos temas muy interesantes
que enriquecern el conocimiento de cada estudiante.

- El curso autmatas y lenguajes formales cuenta con unas metas establecidas
que ayudaran a que el aprendiz se esfuerce para as desarrollar de manera
correcta el curso

- Se conocieron de manera general los compaeros y tutor del curso

- Se profundizan y conocen las propiedad de los conjuntos










BIBLIOGRAFIA




REPASO DE CONJUNTOS. Curso autmatas y lenguajes de programacin
Unad virtual.

GUIA ACTIVIDADES. Trabajo de reconocimiento Autmatas y lenguajes de
programacin. Unad virtual

En lnea: interseccin
http://es.wikipedia.org/wiki/Interseccin_de_conjuntos

En lnea: diferencia simtrica
http://www.youtube.com/watch?v=GD5hry9oNis
http://es.wikipedia.org/wiki/Diferencia_de_conjuntos