Actividad 02 Automatas

Act.
2 Reconocimiento del Curso

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
Escuela de Ciencias Bsicas Tecnologas e Ingeniera
Autmatas y Lenguajes Formales l. Cdigo 301405_17
AUTMATAS Y LENGUAJES FORMALES

GRUPO 401405_17
ACTIVIDAD N 02
RECONOCIMIENTO DEL CURSO
PRESENTADO POR
SHIRLEY OLARTE GMEZ Cdigo 40922391
CARLOS ALBERTO AMAYA TARAZONA

Tutor
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNADESCUELA DE CIENCIAS BSICAS TECNOLOGA E INGENIERA

INGENIERA DE SISTEMAS
RIOHACHA, LA GUAJIRA
FEBRERO 2014
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co
PTU: www.unadvirtual.org /
1/14
Act. 2 Reconocimiento del Curso

INTRODUCCIN
La siguiente actividad de reconocimiento marca la pauta del comienzo del Curso de Autmatas y
Lenguajes Formales el cual se realiza acorde a la gua de actividades, donde se conocer el
contenido y algunas herramientas tiles para el desarrollo del trabajo planteado.
Es un curso de carcter terico, donde el estudiante a medida que se desarrolla el curso
demuestra la asimilacin de los conceptos y mecanismos fundamentales para la definicin de
lenguajes (expresiones regulares, gramticas independientes del contexto y gramticas
generales).
Tambin se repasar el tema de Teora de Conjuntos para reforzar nuestros conceptos y as,
asimilar con ms rapidez el desarrollo de las actividades que se presentan a lo largo del presente
curso.

2/14

JUSTIFICACIN
En la presente actividad se presentan algunas operaciones con conjuntos, con las cuales el
estudiante debe reforzar e interpretar las funciones bsicas de los conjuntos, para lograr entender
con claridad cmo se desarrolla cada una de las propiedades que presenta la teora de conjuntos.
De igual manera aprender a utilizar el Diagrama de Venn para la representacin simblica de los
conjunto.

3/14

ACTIVIDAD 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:
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)

4/14

DESARROLLO:
1. A U
A Ley de Identidad
Propiedad del Conjunto Vacio
Demostracin:
A U
A En efecto,
sea x es un elemento arbitrario de U . Entonces,
x #A & x A x )Denicin de unin x A )x es falso siempreA
Luego
/ 0/ #1 & / 14
56 789 896 1
2. A
Ley de Ientidad
A U =A
Propiedad del Conjunto Vacio
Demostracin:
A U
A Si x es un cualquiera de U . Entonces,
x #A & x A x )Denicin de unin x )x es falso siempreLuego 1

1
)1,2,3-
)B-
1 2
3
1
3. A B
1
A Propiedad de la Diferencia
)1,2,3-
1B
)1,2,3-
1B
1 2
3
1B
4. A U
U Propiedad de Identidad
Demostracin:
A U U
U Sea x es un elemento cualquiera de U . Entonces,

5/14

x #A U& x A x )Denicin de unin x U )x U es verdad siempreLuego

/ 0/ #1 D& / 14
6E F6GHI 1 D
D
1
)1,2,3,4-
)1,2-
1D
1
2
)1,2,3,4-
AU U=U
5. A U
A Propiedad de Identidad
Demostracin:
A U
A Sea x es un elemento arbitrario de U . Entonces,
x #A U& x A x U )Denicin de Interseccin x A )x U es verdad siempreLuego 1 D

D
)1,2,3,4-
)1,2-
1
1
)1,2,3,4-
1D
A 1K
1D
6. A 1K
2
2
A U=A
U Propiedad de Complemento
U En efecto, sea x cualquier elemento de U. Entonces
x #A 1K & x A x 1K )Definicin de unin x A x 1 )Complementario / 1 L#/ 1& )M6N7GHO-

/ D )P79QRSRN7-
Luego,
/ 0/ #1 1T & / D 4
URI SR Q7OQR, 1 1T

6/14

)1,2,3,4-
)1,2-
1 1T
AC
A
3
)1,2,3,4, -
1 1
1 1T
7. A 1K
Propiedad de Complemento
A 1K
En efecto,
A 1K
)x U x A / 1T -
)1,2,3,4-
)1,2-
)x U x A / 1T -
AC
1 1T
)B-
1 1T
1 1T
8. A B A
1
Propiedad de la Diferencia
)1,2,3,4-
1B1
)B-
1B1
)-
A
1
3
2
3
4
4
2
9. #A W&K
#A W&K
1K W K Ley de Morgan
1K W K En efecto, sea x un elemento arbitrario del conjunto U
Entonces,
x #A W&K #1K W K & )Defincin de complementario L0x #A B&4)Negacin-
L0#x A& #x B&4)Definicin de uninUNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co
7/14

L#x A& L#x B&)De Morgan para #x A& #x B&)Negacin #/ 1T & #/ W T &)Definicin de complementario / #1T W T &)Definicin de Interseccin] 7S E6I / 9O 6S6^6OQR 7I_HQI7IHR F6 D, E6 EHN96 896
/ 0/ #1 W&T / #1T W T &4
Luego se prueba que
#A W&K
1K W K
)1,2,3,4,5-
)1,2-
), 3,4-
)3,4,5-
)1,2,5-
B
1
4
2
#1 W &
#1 W &K
1K W K
)3,4,1,2,5-
)1,2,3,4,5#A W&K
1K W K
10. A U (B - A) = A U B
1 #W B 1&
1 #W 1K & )URI S7 S6] F6 FHa6I6OGH7 F6 GROb9OQR}
#A B& #A 1&K )URI S7 S6] FHEQH_9QHc7#A B& D )URI S7 S6] F6 GR^dS6^6OQR1W

D
)1,2,3,4,5-
)1,2,3,4-
)2,5-
WB1
B
1
)5-
1 #W B 1&
1W
A
2
5
)2,1,3,4,5-
)1,2,3,4,5-
A U (B - A) = A U B

8/14

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

Demostracin
1
)1,2,3- W
#1 W &
#1 W
)4,5-
)1,2,3,4,5 #1 W & B #1 W &
#1 B W &
)1,2,3-
#W B 1&
)4,5-
#1 B W& #W B 1&
)1,2,3,4,5-
)1,2,3,4,5-
1.
2.
3.
12. 1 D #W D e &
4.
5.
#1 D W &D e
Demostracin
En efecto, sea x es un elemento arbitrario de U. Entonces
/ 1 D #W D e &
/ 1 0/ #WDe &4 )56aHOGHO F6 9OHO-
/ 1 #/ W / e )56aHOGHO F6 9OHO #/ 1 / W & / e )1ERGH7QHc7 F6 f / #1 D W & / e )56aHOGHO F6 9OHO / 1 W& e )56aHOGHO F6 9OHODe la arbitrariedad de x se sigue que
/ 0/ 1 #W e& / #1 W& e4
56 789 896 1 #W e&
#1 W& e

9/14

)1,2-
)3,4-
)5,6-
#W e&
)3,4,5,6-
#1 W& e
#1 W &
)1,2,3,4,5,6-
)1,2,3,4-
#1 W& e
)1,2,3,4,5,6-
13. A (B C) = (A B ) C Propiedad Asociativa de la Interseccin

)1,2,3,4,5- W
Sean 1
i.
ii.
)-
#W e&
1W
e
)1,3,5,7,9-
)1,2,3,4,5-
We
1
)0,2,4,6,8- e
)-
)2,4-
)1,3,5,7,9-
#1 W& e
)-
7
C

10/14

14. A U (B C) = (A U B ) (A U C)
)1,2,3,4,5- W
Sean 1
i.
ii.
)0,2,4,6,8- e
)1,3,5,7,9-
)1,2,3,4,5-
We
1
Propiedad Distributiva
)-
#W e &
)1,2,3,4,5-
1W
)1,2,3,4,5,6,8-
1e
)1,2,3,5,7,9-
#1 W& e
)1,2,3,4,5-
4 3 5
1 2
7
C
15. A (B U C) = (A B) U (A C)
)1,2,3,4,5- W
Sean 1
i.
)1,3,5,7,9-
)1,2,3,4,5-
We
)0,1,2,3,4,5,7,8,9-
1 #W e &
ii.
)0,2,4,6,8- e
)1,2,3,4,5-
1W
)2,4-
1e
)1,3,5-
#1 W& #1 e&
)1,2,3,4,5-

11/14

2
4
1
3
5
7
C
16. A U B = B U A
)1,2,3,4,5- W
Sean 1
)0,2,4,6,8-
i.
1W
)0,1,2,3,4,5,8-
ii.
W1
)0,1,2,3,4,5,6,8-
3
5
2
6
4
U
17. A B = B A
Sean 1
)1,2,3,4,5- W
)0,2,4,6,8-
i.
1W
)2,4-
ii.
W1
)2,4-

12/14

18. A B = (A U B) \ (A B)
)1,2,3,4,5- W
Sean 1
Diferencia Simetrica
)0,2,4,6,8-
)0,1,3,5,6,8-
i.
1W
ii.
W1
)0,1,2,3,4,5,6,8-
1W
)2,4-
#1 W&#A B&
)0,1,3,5,6,8-

13/14

REFERENCIAS BIBLIOGRAFICAS
http://www.fca.unam.mx/docs/apuntes_matematicas/01.%20Teoria%20de%20Conjuntos.
pdf
http://matematica1.com/wp-content/uploads/2013/04/LIBRO-DE-ARITMETICA-DEPREPARATORIA-PREUNIVERSITARIA.pdf
http://www.cs.buap.mx/~fjrobles/Conjun2.pdf

14/14

Actividad 02 Automatas

Transféré par

Informations du document

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

Actividad 02 Automatas

Transféré par

Droits d'auteur :

Formats disponibles

Act.

2 Reconocimiento del Curso

AUTMATAS Y LENGUAJES FORMALES

CARLOS ALBERTO AMAYA TARAZONA

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNADESCUELA DE CIENCIAS BSICAS TECNOLOGA E INGENIERA

Act. 2 Reconocimiento del Curso

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co

Act. 2 Reconocimiento del Curso

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co

Act. 2 Reconocimiento del Curso

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co

Act. 2 Reconocimiento del Curso

Propiedad del Conjunto Vacio

sea x es un elemento arbitrario de U . Entonces,

x #A & x A x )Denicin de unin x A )x es falso siempreA

x #A & x A x )Denicin de unin x )x es falso siempreLuego 1

U Sea x es un elemento cualquiera de U . Entonces,

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co

Act. 2 Reconocimiento del Curso

x #A U& x A x )Denicin de unin x U )x U es verdad siempreLuego

A Sea x es un elemento arbitrario de U . Entonces,

x #A U& x A x U )Denicin de Interseccin x A )x U es verdad siempreLuego 1 D

x #A 1K & x A x 1K )Definicin de unin x A x 1 )Complementario / 1 L#/ 1& )M6N7GHO-

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co

Act. 2 Reconocimiento del Curso

Act. 2 Reconocimiento del Curso

1 #W 1K & )URI S7 S6] F6 FHa6I6OGH7 F6 GROb9OQR}

#A B& #A 1&K )URI S7 S6] FHEQH_9QHc7#A B& D )URI S7 S6] F6 GR^dS6^6OQR1W

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co

Act. 2 Reconocimiento del Curso

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

)1,2,3,4,5 #1 W & B #1 W &

/ 1 0/ #WDe &4 )56aHOGHO F6 9OHO-

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co

Act. 2 Reconocimiento del Curso

13. A (B C) = (A B ) C Propiedad Asociativa de la Interseccin

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co

Act. 2 Reconocimiento del Curso

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co

Act. 2 Reconocimiento del Curso

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co

Act. 2 Reconocimiento del Curso

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co

Act. 2 Reconocimiento del Curso

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD www.unad.edu.co

Vous aimerez peut-être aussi