301405A - AUTOMATAS Y LENGUAJES FORMALES

Act.2 Reconocimiento del curso

Actividad 2. Reconocimiento General y de Actores

Estudiante
IVAN DANIEL AREVALO SANCHEZ
Cdigo 1.073.503.715
idarevalos@unadvirtual.edu.co

Curso
301405_52

Presentado a
JAIME JOSE VALDES

Universidad Nacional Abierta y a Distancia UNAD

CEAD Facatativ
ECBTI Escuela de Ciencias Bsicas Tecnologa e Ingeniera

27-08-2013

Pgina 1

301405A - AUTOMATAS Y LENGUAJES FORMALES

Act.2 Reconocimiento del curso
INTRODUCCIN

Como inicio en las actividades de aprendizaje del curso Autmatas y Lenguajes Formales, se desarrolla
un refuerzo en los conceptos bsicos de la teora de conjuntos, desarrollando algunos ejercicios que
permiten interpretar las funciones bsicas entre conjuntos.
De igual manera aunque no se desarrolla en un punto especfico, se realiza un reconocimiento del curso
tanto en las unidades temticas como en el aula virtual y sus contenidos.

JUSTIFICACIN

Como estudiantes del curso de Autmatas y Lenguajes Formales, se hace necesario realizar un recuento
sobre la teora de conjuntos, que tienen relacin con los contenidos de los lenguajes formales y
autmatas, llevando as a un conocimiento previo para orientar as el aprendizaje del curso.

Pgina 2

301405A - AUTOMATAS Y LENGUAJES FORMALES

Act.2 Reconocimiento del curso
DESARROLLO DE ACTIVIDADES
Para las siguientes asociaciones, demuestre con un ejemplo que se cumpla y explica en que consiste
cada propiedad: El ejemplo incluye el diafragma de Venn.
Elementos de los conjuntos: A, B, C.
A= {10, 15, 20, 25}
B= {10, 11, 12, 13}
C= {11, 13, 15, 17}
1. A U B (B U C) = (A U B) U C (propiedad asociativa de la unin):
AUB U C= {10, 11, 12, 13, 15, 17, 20, 25}

La unin de los conjuntos A, B y C, es el

conjunto formado por todos los elementos
de los conjuntos A, B y C.

A U B U C= {10, 11, 12, 13, 15, 17, 20, 25}

2. A (B C) = (A B ) C (propiedad asociativa de la interseccin)

La interseccin de los conjuntos A, B y C, es

el conjunto formado por todos los
elementos comunes de los conjuntos A, B y
C.
A (B C) = {10, 11, 13}

Pgina 3

301405A - AUTOMATAS Y LENGUAJES FORMALES

Act.2 Reconocimiento del curso
3. A U (B C) = (A U B ) (A U C) (propiedad distributiva)

La unin del conjunto A con la interseccin

de los conjuntos A, C: es el conjunto
formado por todos los elementos comunes
de los conjuntos A, B y C.
A U (B C) = {10, 11, 13}
(A U B) (A U C) = {10, 11, 13}

4. A (B U C) = (A B) U (A C) (propiedad distributiva)

La interseccin de A unido a la interseccin

de los conjuntos A, B. Es el conjunto
formado por todos los elementos comunes
de los conjuntos A, B y C, A.
A (B U C) = {10}
(A B) U (A C) = {10}

5. A U B = B U A (conmutativa de la unin)
La unin de los conjuntos A, B Es el conjunto
formado por todos los elementos de A y B.

A U B = {10, 11, 12, 13, 15, 20, 25}

B U A = {10, 11, 12, 13, 15, 20, 25}

Pgina 4

301405A - AUTOMATAS Y LENGUAJES FORMALES

Act.2 Reconocimiento del curso
6. A B = B A
La interseccin de los conjuntos A, B Es el
conjunto formado por todos los elementos
comunes de A y B.
A B = {10}
B A = {10}

7. A B = (A U B) \ (A B)
La diferencia simtrica de los conjuntos A, B
Es el conjunto formado por todos los
elementos del conjunto universo, menos la
diferencia a A U B
A B = {15, 17}

Pgina 5

301405A - AUTOMATAS Y LENGUAJES FORMALES

Act.2 Reconocimiento del curso
BIBLIOGRAFA
-

Aplicacin de conjuntos: http://nlvm.usu.edu/es/nav/frames_asid_153_g_4_t_1.html

- Propiedades de conjuntos:
http://informaticaeducativaunl.wordpress.com/2008/12/05/propiedades-de-los-conjuntos-2/

Pgina 6