AUTOMATAS Y LENGUAJES FORMALES

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

CEAD JOSE ACEVEDO Y GOMEZ
BOGOTA
2013
INTRODUCCION

Con este trabajo se pretende reconocer las diferentes teoras conjuntos y

apropiar ese conocimiento para afianzarlo en los temas relacionados a
autmatas y lenguajes formales, y poder cumplir los objetivos propuestos de
esta unidad.

JUSTIFICACION

Es un prerrequisito en autmatas y lenguajes formales las matemticas de

conjuntos y es necesario que tengamos un dominio en el manejo de los
Conjuntos y sus definiciones, componentes y operaciones entre ellos.

ACTIVIDADES A DESARROLLAR

Para las siguientes asociaciones, demuestre con un ejemplo que se cumpla

y explica en que 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)
R/ta.
A= (4, 9, 6, 2, 10)
B= (2, 5, 8, 1, 10)
C= (1, 3, 7, 6, 10)

A
9
4

2
10

1
8

A U B (B U C) = (A U B) U C

(4, 9, 6, 2, 10, 2, 5, 8, 1) (2, 5, 8, 1, 10, 3, 7, 6) = (4, 9, 6, 2, 10, 2, 5, 8, 1) U (1, 3,

7, 6, 10)

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

R/ta.
A= (4, 9, 6, 2, 10)
B= (2, 5, 8, 1, 10)
C= (1, 3, 7, 6, 10)

1
0

A (B C) = (A B) C
(4, 9, 6, 2, 10) (1, 10) = (2, 10) (1, 3, 7, 6, 10)
10=10
3. A U (B C) = (A U B ) (A U C) (propiedad distributiva)

R/ta.
A= (4, 9, 6, 2, 10)
B= (2, 5, 8, 1, 10)
C= (1, 3, 7, 6, 10)

A
9
4

2
10

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

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

R/ta.
A= (4, 9, 6, 2, 10)
B= (2, 5, 8, 1, 10)
C= (1, 3, 7, 6, 10)

2
10

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

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

R/ta.
A= (4, 9, 6, 2, 10)
B= (2, 5, 8, 1, 10)

10

5
8

AUB=BUA
(4, 9, 6, 2, 10, 5, 8, 1) = (4, 9, 6, 2, 10, 5, 8, 1)

6. A B = B A (conmutativa de la interseccin)

R/ta .
A= (4, 9, 6, 2, 10)
B= (2, 5, 8, 1, 10)

10

B
2

AB=BA
(2, 10) = (2, 10)

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

R/ta.
A= (4, 9, 6, 2, 10)
B= (2, 5, 8, 1, 10)

A B = (A U B) \ (A B)
(1, 5, 8, 6, 9, 4) = (1, 5, 8, 2, 10, 6, 9, 4) / (2, 10)
(1, 5, 8, 6, 9, 4) = (1, 5, 8, 6, 9, 4)

BIBLIOGRAFIA

Galicia Arrambide, Moiss. Introduccin a la lgica matemtica. McGraw Hill.

Mxico, 1976.

Suppes, Patrick. Introduccin a la lgica simblica. Editorial Continental.

Mxico, 1966.