RECONOCIMIENTO DEL CURSO

AUTOMATAS Y LENGUAJES FORMALES

Tutor.
DIEGO FERNANDO MEDINA

Presentado Por.
JULIAN ANDRES MORENO F.
74.380.108
MARLON ESTY TRILLOS SUAREZ
COD. 13567564
GRUPO. 301405_11











UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
ESCUELA DE CIENCIAS BASICAS E INGENIERIA
INGENIERIA ELECTRONICA
CEAD- DUITAMA
2014
INTRODUCCION


Con el presente trabajo de reconocimiento se pretende dar inicio a los conceptos bsicos que se
deben tener definidos o establecidos para emprender el camino en el estudio de Autmatas y
Lenguajes Formales, haciendo un repaso por la teora de conjuntos, sus propiedades y relaciones,
que servirn en el desarrollo de los lenguajes formales que tratara el curso, aplicando operaciones
de conjuntos.



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 qu 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.

Solucin.
Se dan valores alfabeticos a los elementos que conforman los conjuntos A; B; C para el desarrollo
de los ejercicios.

A={J,U,L,I,A,N} B={A,N,D,R,E,S} C={M,O,R,E,N,F}

1. A U =?

R// La unin del conjunto A por un conjunto vacio es el conjunto A.
Por lo tanto:

A U ={J,U,L,I,A,N}

Diagrama de Venn.
U







2. A = ?
R// La interseccin del conjunto A con un conjunto vacio es el conjunto vacio
A = { }


3. A = ?
R// La diferencia del conjunto A con el conjunto vacio son los elementos del conjunto A
A = {J,U,L,I,A,N}


Diagrama de Venn.
U


A



J
L
A
U I
N
A



J
L
A
U I
N








4. A U U = ?
R// La unin entre en conjunto A y el conjunto universal U es el conjunto universal U

A U U = U

Diagrama de Venn.
U










5. A U = ?
R// La interseccin del conjunto A y el conjunto universal U es el conjunto A

A U = {J,U,L,I,A,N}

Diagrama de Venn.
U







6. A U Ac =?

R// La unin de el conjunto A con el conjunto complementario , es el conjunto universal U

A U Ac =U

Diagrama de Venn.
U








7. A Ac =?
A



J
L
A
U I
N
A



J
L
A
U I
N
A


Ac A

J
L
A
U I
N

R// El conjunto A y su complementario son disjuntos (no tiene elementos en comn) por lo
tanto la interseccin de estos dos conjuntos es el conjunto vacio.

A Ac =








8. A A = ?
R// La diferencia del conjunto A menos el mismo conjunto A, es el conjunto vacio.
A A = {J,U,L,I,A,N} - {J,U,L,I,A,N} { }

9. (A B)c = Ac U Bc
R// Segn la ley de Morgan El complementario de la unin de dos conjuntos es la interseccin
de los complementarios. Para comprobarlo se incorporan elementos a los conjuntos A y B.

A={J,U,L,I,A,N}
B={ A,N,D,R,E,S}



Diagrama de Venn.
U










(AB) ={A,N}
Diagrama de Venn.



U











(AB)
C
={J,U,L,I,D,R,E,S}
A B B



J
L
A
U I
N
A
N D
R
E S
A B



J
L

U I

R
E
D
S
A
N
Diagrama de Venn.
U








A
C
={D,R,E,S}

Diagrama de Venn.
U








B
C
={J,U,L,I}

Diagrama de Venn.

U








A
C
U B
C
={J,U,L,I,D,R,E,S}

Diagrama de Venn.


U







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

R//Al desarrollar por separado cada igualdad, dando prioridad a los conjuntos entre parntesis,
se resuelve afirmativamente el cumplimiento de esta igualdad.
A={J,U,L,I,A,N}
B={ A,N,D,R,E,S}


A B B B



J
L

U I

R
E
D
S
A
N
A B



J
L

U I

R
E
D
S
A
N
A B B B



J
L

U I

R
E
D
S
A
N
A B



J
L

U I

R
E
D
S
A
N

Diagrama de Venn.
U









A U B= {J,U,L,I,A,N,D,R,E,S}
Diagrama de Venn.

U








(B-A)={D,R,E,S}
Diagrama de Venn.
U





A U(B-A)={J,U,L,I,A,N,D,R,E,S}


Diagrama de Venn.
U








11. . (A U B ) ( A B) = (A B) U ( B A )
R// Al desarrollar por separado cada igualdad, dando prioridad a los conjuntos entre parntesis,
se resuelve afirmativamente el cumplimiento de esta propiedad.

A={J,U,L,I,A,N}
B={ A,N,D,R,E,S}



Diagrama de Venn.
U
A B B



J
L
A
U I
N
A
N D
R
E S
A B B B



J
L

U I

R
E
D
S
A
N
A B



J
L

U I

R
E
D
S
A
N
A B



J A
L

U I
N
R
E
D
S




















(A U B)={J,U,L,I,A,N,D,R,E,S}
Diagrama de Venn.

U










(AB) ={A,N}
Diagrama de Venn.



U









(A U B) - (AB)={J,U,L,I,D,R,E,S}

Diagrama de Venn.

U




A B B



J
L
A
U I
N
A
N D
R
E S
A B B B



J
L

U I

R
E
D
S
A
N
A B



J
L

U I

R
E
D
S
A
N
(A U B) (AB)
B



J R
D L

U E I
S

R


A
N






(A-B)={J,U,L,I}
Diagrama de Venn.
U









(B-A)={D,R,E,S}

Diagrama de Venn.
U









(A-B) U (B-A)={J,U,L,I,D,R,E,S}
Diagrama de Venn.
U
















12. A U (B U C) = (A U B) U C
R// Al desarrollar por separado cada igualdad, dando prioridad a los conjuntos entre parntesis,
se resuelve afirmativamente el cumplimiento de esta propiedad.
A= {J,U,L,I,A,N}
B={A,N,D,R,E,S}
C={M,,O,R,E,N,F}
A B B



J
L

U I

R
E
D
S
A
N
A B B



J
L

U I

R
E
D
S
A
N
A-B B-A



J
L

U I

R
E
D
S





Diagrama de Venn.
U










(B U C)={A,N,D,R,E,S,M,O,R,E,N,F}
Diagrama de Venn.

U


















AU(BUC)={J,U,L,I,D,R,E,S,M,O,R,E,NF}


Diagrama de Venn.
U











AUB={ J,U,L,I,D,R,E,S}
U

A B B C



J
L
A
U I
N
A
N D
R
E S
M O
R
E
N F
B B C C



A

D

S


M
O
F

R
N
E
A (B ( B U C)



J
L

U I

R M
O R E
D E
R F
D
S
A
N

A B B



J
L

U I

R
E
D
S
A
N










(A U B) U C={J,U,L,I,A,N,D,R,E,S,M,O,F}
U













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



A= {J,U,L,I,A,N}
B={A,N,D,R,E,S}
C={M,,O,R,E,N,F}



Diagrama de Venn.
U












BC={R,N,E}
Diagrama de Venn.
U




(AUB) C



J
D S L
A
U I

M
O
F

R
N
E
A B C



J
L
A
U I
N
A
N D
R
E S
M O
R
E
N F
B B C C



A

D

S


M
O
F

R
N
E













A(BC)={}
(AB)={A,N}
Diagrama de Venn.
U








(A B) C={ }


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

B C={ R,N,E }



Diagrama de Venn.
U









A U (B C) = {J,U,L,I,A,N,R,N,E}

Diagrama de Venn.
U







A B B



J
L

U I

R
E
D
S
A
N
B B C C



A

D

S


M
O
F

R
N
E
A BC



J
L
A
U I
N
R
N
E






AUB={ J,U,L,I,D,R,E,S}
Diagrama de Venn.
U









AUC={J,U,L,I,A,M,O,R,E,F}
Diagrama de Venn.


U








(A U B) (AUC) = {J,U,L,I,A,N,R,E}
Diagrama de Venn.
U
















15. A (B U C) = (A B) U (A C)
(B U C)={A,N,D,R,E,S,M,O,R,E,N,O}
Diagrama de Venn.

U





A B B



J
L

U I

R
E
D
S
A
N
A C C



J
L

U I
A
M
O E
R
F


N
AUB AUC




D

S



M

O
F

J U
L I A
NRE
B B C C



A

D

S


M
O
F

R
N
E






AU(BUC)={A,N}


Diagrama de Venn.
U









A (B ( B U C)



J
L

U I

M
O R E
F
D
S
A
N



(A B)={A,N}
Diagrama de Venn.



U







(A C )= ={ }
(A B) U (A C)

Diagrama de Venn.
U







16.A U B = B U A
AUB{J,U,L,I,A,N,D,R,E,S}

U













BUA={A,N,R,E,D,S,J,U,L,I}
Diagrama de Venn.









A B B B



J
L

U I

R
E
D
S
A
N
AB





A



N
A B



J
L

U I

R
E
D
S
A
N
B A



J
L

U I

R
E
D
S
A
N

17. A B = B A
A B ={A,N}


Diagrama de Venn.
U










B A ={A,N}
Diagrama de Venn.










A B
J
L

U I

R
E
D
S
A
N
B A



J
L

U I

R
E
D
S
A
N

18. A B = (A U B) \ (A B)
A B ={J,U,L,I,D,R,E,S}


Diagrama de Venn.
U











AUB={J,U,L,I,A,N,D,R,E,S}
Diagrama de Venn.
U











(A B)={A,N}

Diagrama de Venn.
U










(A U B)/ (A B)


Diagrama de Venn.

U


A B
J
L

U I

R
E
D
S
A
N
A B
J
L

U I

R
E
D
S
A
N
A B
J
L

U I

R
E
D
S
A
N
(A U B) (A B)
J R
L
E D
U I
S




A
N










BIBLIOGRAFIA


Guia_de_actividad_foro_de_reconocimiento_2014-I

http://es.wikipedia.org/wiki/Conjunto_vac%C3%ADo

http://es.wikipedia.org/wiki/Conjunto_universal

http://recursostic.educacion.es/descartes/web/materiales_didacticos/conjuntos_y_oper
aciones_agsm/conjuntos_11.html

http://www.wolframalpha.com/input/?i=A+union+B+intersection+C

http://es.wikipedia.org/wiki/Conjunto