AUTOMATAS Y LENGUAJES FORMALES

TAREA DE RECONOCIMIENTO

UNIVERSIDAD NACINAL ABIERTA Y A DISTANCIA- UNAD Escuela de ciencias bsicas e ingeniera Cead Palmira 14 de Septiembre de 2012

Introduccin Con la presente tarea de reconocimiento se pretende que como estudiantes realicemos un repaso por las propiedades, relaciones de los conjuntos para aplicarla en el anlisis de los de operaciones de cadenas o en desarrollo de los lenguajes formales que se irn desarrollando en el curso , que se puede generar con otros lenguajes ms sencillos mediante operaciones de conjuntos.

Justificacin El propsito del a tarea de reconocimiento es recordar la teora de conjuntos, propiedades y relaciones de estos para luego aplicar estos al curso. Reconocer nociones bsicas de conjuntos y su aplicacin, reformar conocimientos previos.

1. Expresar en extensin el conjunto A= {x/x N, x > 10}.

Respuesta

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

B=

3. Cul es el tamao del conjunto {} (esto es, cuntos elementos contiene)? Justifique su respuesta. Respuesta Como se puede observar existe un elemento dentro de las llaves este el smbolo de conjunto vacio por consiguiente este tiene un elemento que es el smbolo

4. Sean los conjuntos A = {a, b}, B = {1, 2, 3}. Calcular las siguientes operaciones: a) (A U B) A b) A U (B A) c) 2A U B d) A (A U B) Respuesta

5. Calcular los conjuntos potencia de los siguientes conjuntos: a) A={1, 2, 3} Respuesta Si el conjunto original tiene 3 elementos, el conjunto potencia tendr elementos

b) {a, b, c, d} Respuesta Si el conjunto original tiene 4 elementos, el conjunto potencia tendr elementos

c) {a, {b, c}} Respuesta Si el conjunto original tiene 2 elementos, el conjunto potencia tendr elementos

d) {} Respuesta Si el conjunto original tiene 1 elemento, el conjunto potencia tendr elementos

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

Respuesta Si el conjunto original tiene 4 elemento, el conjunto potencia tendr elementos

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. Respuesta R = {(1, a), (1, b), (3, a) Diagrama cartesiano A

3 2 1

a Diagrama de flechas
1 2 3

a b

Tabla binaria A(dominio) 1 1 3 B(Rango) a b a

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

Respuesta

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

Es una relacin Reflexiva cada elemento tiene un bucle No es una relacin Simtrica cada flecha de ida no tiene una de regreso Es una relacin Transitiva ya que el tercer elemento se une el segundo, y el segundo se une con el primero con una flecha que parte del segundo. No es una Relacin Equivalencia ya que no se cumplen dos las tres propiedades

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. Respuesta R = {(1, 1), (1, 2), (1, 3), (3, 3)}

No es Reflexiva el elemento 2 no tiene un bucle No es Simtrica cada flecha de ida no tiene una de regreso

No es Transitiva por que el primer elemento del par ordenado es menor o igual que el segundo par ordenado No es una Relacin Equivalencia ya que no se cumplen las tres propiedades

S = {(1, 1), (1, 2), (2, 1), (2, 2), (3, 3)}

Es Reflexiva cada elemento tiene un bucle No es Simtrica cada flecha de ida no tiene una de regreso Es Transitiva es transitiva en los pares ordenado par ordenado (2, 1), (2, 2), (3,
3)

No es una Relacin Equivalencia ya que no se cumplen las dos propiedades

T = {(1, 1), (1, 2), (2, 2), (2, 3)}

No es Reflexiva cada elemento no tiene un bucle No es Simtrica cada flecha de ida no tiene una de regreso No es Transitiva por que el primer elemento del par ordenado es menor o igual que el segundo par ordenado No es una Relacin Equivalencia ya que no se cumplen las dos propiedades = la relacin vaca No es Reflexiva no hay elemento No es Simtrica no hay elementos ni flechas de ida no tiene una de regreso No es Transitiva no hay elementos menores No es una Relacin Equivalencia ya que no se cumplen las propiedades

A x A = la relacin universal

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

Es Reflexiva cada elemento tiene un bucle Es Simtrica cada flecha de ida no tiene una de regreso Es Transitiva es transitiva en todos los pares ordenado

Es una Relacin Equivalencia ya que se cumplen las propiedades

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

Respuesta
a) (Verdadero)

Respuesta
b) (Falso)

Respuesta
c)

(Falso)

Respuesta
d)

Respuesta
e) (Falso)

Respuesta f) (Verdadero)

Respuesta
g) (verdadero)

Respuesta
h) (Falso)

Bibliografa Pgina web: www.Wikipedia.org Relaciones unidad 1 - Ing. Miguel ngel Durn Jacobo