AUTMATAS Y LENGUAJES FORMALES

ACTIVIDAD 2 RECONOCIMIENTO GENERAL DE CURSO

TUTOR

CARLOS ALBERTO AMAYA TARAZONA (TUTOR)

ALUMNO

EDUARDO LUIS ENAMORADO CHARRASQUIEL

C/C 1065376941

CDIGO: 301405 - 27

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

UNAD
MOMIL CRDOBA

14/03/2013

INTRODUCCIN
Este trabajo de reconocimiento podemos ver y destacar todo lo relacionado con
los conjuntos , operaciones y funciones como son importante y necesaria para
comprender y desarrollar el modulo y el diario vivir, las temticas y formas de
como implementar y desarrollar estos procesos, formalizar y hablar de todos estos
conceptos llevndonos as y dndonos la eficiencia y caracterizacin de estos;
pues este trabajo de igual forma nos brinda el conocimiento y la enseanza de
estos sistemas y el mejor saber, para llevar y mantener en orden las maneras de
seguir y encontrar el desarrollo, as tambin brindndonos una mejor compresin
tanto de los temas como con nuestros compaeros ya que interactuamos y
comprendemos cada una de las actividades grupales o individuales.

JUSTIFICACIN
En este proceso de educacin y elaboracin de lderes educativos podemos
encontrar este proceso como lo es el de reconocimiento en el cual desarrollamos e
implementamos un proceso de investigacin para la recoleccin de datos y
desarrollos de procesos. De igual forma encontramos como las formas, relaciones,
operaciones y funciones importantes de los conjuntos, ya que es el fundamento
ms importante para el estudio de los lenguajes y autmatas, conociendo los
conceptos

y teoras de la realidad de los conjuntos para as llenar nuestras

mentes de conocimientos y sabidura.

1. Expresar en extensin el conjunto {x|x , x > 10}.

R/ x N { 11,12,13,14,15,16,17,18,19,20 .

2. Expresar en intencin el conjunto {4, 6, 8, 12, 14, 16}.

{x/x N pares x16 , x N}
3. Cul es el tamao del conjunto {} (esto es, cuntos elementos
contiene)? Justifique su respuesta.
El tamao del conjunto es cero ya que es un conjunto vaco y no contienen ningn
elemento.
4. Sean los conjuntos A = {a, b}, B = {1, 2, 3}. Calcular las siguientes
operaciones:
a) (A U B) A
R/ (A U B)= {a, b, 1, 2,3}
{a, b, 1,2, 3} - {a, b} = {1, 2, 3}.
b) A (B A)
R/ (B A) = {1, 2, 3} - {a, b} = {1, 2, 3}
{a, b} U {1, 2, 3}
= {a, b, 1, 2,3}
c)
R/ (A U B)= {a,b,1,2,3} =
= { {}, {a}, {b}, {1}, {2}, {3}, {a,b}, {a,1}, {a,2},
{a,3}, {b,1}, {b,2}, {b,3}, {1,2}, {1,3}, {2,3} }

d) A (A B)
R/ (A U B)= {a,b,1,2,3}
{a,b} X {a,b,1,2,3} = { (a,a), (a,b), (a,1), (a,2), (a,3), (b,a), (b,b), (b,1), (b,2), (b,3) }

5. Calcular los conjuntos potencia de los siguientes conjuntos:

a) {1, 2,3}
R/ = 8 elementos
{ {},{1}, {2}, {3}, {1,2}, {1,3}, {2,3}, {1, 2,3} }

b) {a, b,c,d}
R/ = 16 elementos
{ {},{a}, {b}, {c}, {d}, {a,b}, {a,c}, {a,d}, {b,c},{b,d}, {c,d}, {a,b,c}, {a,b,d}, {b,c,d},
{a,c,d}, {a,b,c,d} }
c) {a,{b,c}}
R/ = 4 elementos
{ {},{a}, {a,b,c}, {b,c}, }

d) {}
R/ = 1 elementos
{ {} }

e) {1,{2,3}, {4,5},2}
R/

= 64 elementos

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

6. Sea R la siguiente relacin de A = {1, 2, 3} en B = {a, b}. R = {(1, a), (1, b), (3,
a)};
Representar R como un diagrama cartesiano, un diagrama de flechas y como
una tabla binaria.

7. Sea R = {(1, 2), (2, 2), (2, 4), (3,2), (3, 4), (4, 1), (4, 3)}; dibuje un grafo
considerando que el conjunto A = {1, 2, 3, 4}.

8. Sea A = {1, 2, 3} y la relacin R = {(1, 1), (1, 2), (1, 3), (2, 1), (2, 2), (3,2),
(3,3)}; determinar si es una relacin de equivalencia.
Reflexiva: Cada elemento del conjunto A se relaciona consigo mismo.
Simtrica: Si para cada par de elementos de A (1,2) que se relacionan, entonces
el par simtrico tambin pertenece a la relacin.
Transitiva: Si para todos los elementos 1, 2, 3 que verifican que (1,2) R y (2,3)
R entonces el par ordenado (1, 3) R
9. Considere las siguientes cinco relaciones en el conjunto A = {1, 2, 3}
R = {(1, 1), (1, 2), (1, 3), (3, 3)}
S = {(1, 1), (1, 2), (2, 1), (2, 2), (3, 3)}
T = {(1, 1), (1, 2), (2, 2), (2, 3)}
= la relacin vaca
A x A = la relacin universal
Determine si es verdadero o no que cada una de las relaciones anteriores es:
(a), Reflexiva, (b) simtrica, (c) transitiva, (d) una relacin de equivalencia.
R = {(1,1) (1,2) (1,3) (3,3)}
a. R = No es reflexiva, por tanto, no es verdadero
b. R = No es simtrica, por tanto, no es verdadero
c. R = Es transitiva, por tanto, es verdadero
d. R = No es una relacin de equivalencia debido a que, se debe cumplir que R
sea reflexiva, simtrica y transitiva.
S = {(1.1) (1,2) (2,1) (2,2) (3,3)}
a. R = Es reflexiva, por tanto, es verdadero
b. R = Es simtrica, por tanto, es verdadero
c. R = No es transitiva, por tanto, no es verdadero
d. R = No es una relacin de equivalencia debido a que, se debe cumplir que R
sea reflexiva, simtrica y transitiva.
T = {(1,1) (1, 2) (2, 2) (2,3)}
a. R = Es reflexiva, por tanto, es verdadero
b. R = No es simtrica, por tanto, no es verdadero

c. R = Es transitiva, por tanto, es verdadero

d. R = No es una relacin de equivalencia debido a que, se debe cumplir que R
sea reflexiva, simtrica y transitiva.
= la relacin vaca
No se cumple ninguna de las propiedades (reflexin, simetra, equivalencia),
propiedades para que haya una relacin de equivalencia.
A x A = la relacin universal
La relacin universal indica que cubre el conjunto en su totalidad, por tanto se
cumplen las propiedades de reflexin, simetra y transitiva, por tanto R es una
relacin de equivalencia.

10. Sean A, B, C, D conjuntos. Demuestre o de contraejemplos para las

Siguientes conjeturas.
a) A x (B C) = (A x B) (A x C)
b) A x (BC) = (A x B) (A x C)
c) (A x B) (A x B) =
d) (A B C D) A x C B x D
e) A (B x C) = (A B) x (A C)
f) A (B x C) = (A B) x (A C)
g) (A x B) (C x D) = (A C) x (B D)
h) A x (B - C) = A x B - A x C

a) A x (B U C) = (A x B) U (A x C)

A x (B U C) = A x B U A x C = (A x B) U (A x C)
b) A x (B C) = (A x B) (A x C) = No se pueden aplicar las propiedades de
los conjuntos.
c) (A x B) (A x B) = = Solo es posible en el caso que A x B = .

e) A U (B x C) = (A U B) x (A U C)
[{1, 2, 3} U {2,4},{2,5},{6,4},{6,5}] = [{1,2,3,6} x {1,2,3,4,5}]
{1, 2, 3},{2,4},{2,5},{6,4},{6,5} = {1, 2, 3},{2,4},{2,5},{6,4},{6,5}
f) A (B x C) = (A B) x (A C)
{1, 2, 3} {2,4},{2,5},{6,4},{6,5} = [{2} x {}]
=
g) (A x B) (C x D) = (A C) x (B D)
[{1,2},{1,6},{2,2},{2,6},{3,2},{3,6}] {1,4},{1,5},{4,7},{5,7} = {} x {}
=
h) A x (B - C) = A x B - A x C
{1, 2, 3} x {2,6} = [{1,2},{1,6},{2,2},{2,6},{3,2},{3,6}] [{1,5},{1,4},{2,5},{2,4},{3,5},{3,4}]
{1,2},{1,6},{2,2},{2,6},{3,2},{3,6} = {1,2},{1,6},{2,2},{2,6},{3,2},{3,6}

BIBLIOGRAFA

Mdulo de autmatas y lenguajes formales

Introduccin a la teora de conjuntos
OVA1 Conceptos Generales
Wikipedia
Contenido en lnea