AUTOMATAS Y LENGUAJES FORMALES

Actividad 2 RECONOCIMIENTO GENERAL Y DE ACTORES

Grupo: 301405_60

Presentado por: LUISA FERNANDA OVALLE RAMIREZ Cd. 104703912

Presentado a ingeniero: JAIME JOSE VALDES

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD ESCUELA DE CIENCIAS BASICAS, TECNOLOGAS E INGENIERIAS INGENIERA DE SISTEMAS 2013

CONTENIDO Introduccin...03 Objetivos....04 Mapa conceptual..05 Conclusiones.06 Bibliografa.07

INTRODUCCION Autmatas y lenguajes formales es un curso terico prctico de la formacin de ingeniera de sistemas que busca que el estudiante se familiarice con el material didctico y as pueda llevarlo a la prctica En el trabajo de presaberes se estudiara la teora de conjuntos y se realizara algunos ejemplos de los ejercicios planteados en la gua, para esta actividad se tendr encuentra los parmetros que se establecen para su presentacin.

OBJETIVOS

-disear actividad segn los estndares que se sugieren en la gua de trabajo. -utilizar el material de apoyo sugerido para la solucin de la actividad -aprender sobre la teora de conjuntos y como representarlos en diagramas de venn. -Reforzar conceptos bsicos de la Teora de Conjuntos -Interpretar funciones bsicas de los conjuntos -Hacer un recorrido por el aula e identificar las temticas del curso. Definiciones y conceptos de expresiones regulares, gramticas, lenguajes, alfabetos, cadenas.

ACTIVIDAD Para las siguientes asociaciones, demuestre con un ejemplo que se cumpla y explica en qu consiste cada propiedad: El ejemplo incluye el diafragma de venn.

1. A U B (B U C) = (A U B) U C (propiedad asociativa de la unin)

Es la que me permite asociar como quiera los elementos de una operacin sin que por ello vare el resultado, la unin es cuando algunos de los elementos del conjunto A estn contenidos en el conjunto B.

A = { a, b, c, d, e, f } B = { b, d, f ,g, h, }

d a b f e

g h

C = { f, j, k, l }

(A U B) = { a, b, c, d, e, f, g, h}

j
(A U B) U C = { a, b, c, d, e, f, g, h, i, j, k}

i
C

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

La interseccin de dos (o ms) conjuntos es una operacin que resulta en otro conjunto que contiene los elementos comunes a los conjuntos de partida

EJEMPLO
A (B C) = (A B ) C A= { 1, 2, 3, 4 } B= {3, 4, 5, 6}
A B

3 4
C={1, 2, 3, 4, 5, 6}

5 6

1 2

(A B ) C= {3, 4}

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

En la propiedad distributiva se tiene un mismo resultado multiplicando un conjunto de elementos por otro elemento que cuando se hace cada multiplicacin por separado En ambos casos los resultados son iguales. Esta propiedad, particularizada para la suma y el producto obteniendo de esta forma la definicin de distribucin.

B A A= {a,b,c,d,e,f,g} B= { f, g, h, i, j, k} C= { j, k, l, m, n} a b f e k j A U (B C) (B C)= {k, j} A U B= { a, b, c, d, e, f, g h, i, j, k} A U C= { a, b, c, d, e, f, g, j, k, l, m, n } A U (B C)={ a, b, c, d, e, f, g h, i, j, k, m, n} n l m C h d g i

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

A= { 1, 2, 3, 4,5 } B= {4, 5, 6,7, 8} C={5, 7, 8, 9} (B U C)= {4, 5, 6, 7, 8,9} A B = {3,4} A C = {5} A (B U C)={ 3. 4, 5, 6, 7, 8,9}

A 1 4 2 3 5 8 7 5 6

5. A U B = B U A (conmutativa de la unin)

Si en una unin se altera el orden de los conjuntos, el resultado no vara. A U B = B U A B c AUB=BUA e B U A={a, b, c, d, e, f} AU B={a, b, c, d, e, f} d b f a

A={a, b, c, d, } B={a, b, e, f}

6. A B = B A (conmutativa de la interseccin) Si x A Y X B entonces x A B y B A

A={1, 2, 3, 4, 5} B= {1, 2, 4, 6} AB=BA A B = {1, 2, 4} B A ={1, 2, 4}

A 3 1 4 5 2 6

7. A B = (A U B) \ (A B)
A B

A= { 3,4, 5, 6 } B= {1, 2, 3, 4 } A B = {1, 2, 5, 6} A U B = {1,2 3,4, 5, 6 } A B = {3,4} (A U B) \ (A B) = {1, 2, 5, 6} 1 3 4 2

5 6

CONCLUCIONES

-tener cloro la teora de conjuntos, cada una de sus propiedades, por medio del conocimiento adquirido de la gua tener la capacidad de dar ejemplos y representarlos en diagramas de ven. -cumplir con lo requerido en la gua , para obtener un buen resultado final.

10

BIBLIOGRAFIA

- Modulo autmatas y lenguajes formales, UNAD - Gua de actividad de reconocimiento, UNAD - Gua teora de conjuntos - http://es.wikipedia.org/wiki/Teor%C3%ADa_de_conjuntos

11