RECONOCIMIENTO DE AUTOMATAS Y LENGUAJE

DIANA MILENA PAPAMIJA PEREZ CODIGO: 40692473 GRUPO: 301405_17

TUTOR Carlos Alberto Amaya Tarazona

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD PROGRAMA DE INGENIERIA DE SISTEMAS CERES SAN VICENTE DEL CAGUAN SEPTIEMBRE DEL 2013

INTRODUCCION

Con le realizacin de este trabajo podemos enriquecer nuestros conocimiento acerca de los conjunto y sus conceptos. La temtica de conjuntos es de gran importancia para llevar a cabo esta actividad, de reconocimiento, y las operaciones que se realizan, tales como son Unin, Interseccin, Complemento, entre otras. Teniendo en cuenta que los lenguajes ms sencillos, pueden describirse como elementos que se generan, como cadenas a partir de cadenas sencillas, con el uso de operaciones de cadenas o el desarrollo del lenguaje mismo, que se puede generar con otros lenguajes ms sencillos mediante operaciones de conjuntos.

JUSTIFICACION

En este curso de autmatas y lenguajes es de vital importancias para nuestra carrera profesional ya que es elemental el conocimiento de las teoras de conjuntos para poder entender los conceptos de lenguajes formales y autmatas, es el conocimiento previo y bsico que se debe tener antes de emprender la profundizacin del curso.

TEORIA DE CONJUNTOS

La teora de conjuntos es una rama de las matemticas que estudia las propiedades de los conjuntos: colecciones abstractas de objetos, consideradas como objetos en s mismas. Los conjuntos y sus operaciones ms elementales son una herramienta bsica en la formulacin de cualquier teora matemtica. Los smbolos del lenguaje formal de la teora de conjuntos sern: Los smbolos de conjuntos sern las letras del alfabeto, maysculas y minsculas. El smbolo de la relacin de pertenencia entre conjuntos es . Los smbolos lgicos de la lgica de predicados:(negacin), (conjuncin), (Disyuncin), (implicacin), (equivalencia), (cuantificador universal) y (cuantificador existencial) y (,) (parntesis). Con estos signos bsicos se generan todas las frmulas de la teora de conjuntos. Las reglas de formacin de frmulas son las habituales en la lgica de primer orden. A saber: 1. x y y x = y son frmulas. Para cualesquiera variables x, y. 2. Si y son frmulas, tambin lo son: , , , y 3. Si es una frmula, x y x tambin lo son. LGEBRA DE CONJUNTOS Igualdad, inclusin y conjunto vaco Definiciones: A / B es la abreviacin de no pertenencia (A B) Igualdad (Axioma de extensionalidad). x(x A x B) A = B Si todo elemento lo es de A si y slo si lo es tambin de B entonces A y B coinciden. Inclusin, subconjunto: A BA est incluido en B (A es subconjunto De B), es una abreviatura de x(x A x B)) (todo elemento de A es elemento de B). Inclusin estricta: A B es una abreviatura de (A B) (A 6= B).

Conjunto vaco: es el nico conjunto tal que x(x / ) para todo x, x no pertenece a (ningn elemento pertenece a ) Teoremas: Los resultados siguientes son teoremas que se deducen de manera directa de las definiciones anteriores. 1. A ( A) 2. A(A A) 3. AB ((A B) (B A) (A = B)) 4. ABC ((A B) (B C) (A C)) Operaciones Unin. A B = {x/ (x A) (x B))} A unin B est formado por los elementos que estn en A o en B. Se verifica: x(x A B (x A) (x B)) Interseccin A B = {x/ (x A) (x B)} A interseccin B est formado por los elementos que estn en A y tambin en B. Se verifica: x(x AB (x A)(x B)) Diferencia AB = {x/ (x A) (x / B)} A menos B est formado por los elementos que estn en A pero no en B. Se verifica: x(x AB (x A) (x B))

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

A= {a, b, c, p, l} B= {b, a, k, d, f, p, j} C= {o, a, m, n} A U B (B U C) = (A U B) U C = {a, b, c, d, c, f, k, p, l, j, m, n, o}

A abcpl
a b a

B bak
b

Coam
n

dfpj

2. A (B C) = (A B ) C (propiedad asociativa de la interseccin) La propiedad asociativa de la interseccin es la letra a, que est en todos los conjuntos y es la letra h, que est contenida en los conjuntos A y B la intercesin es a y h.

A (B C) = (A B) C A= {b, e, i, h, a} B= {a, c, d, f, h, j} C= {a, o, n, m,} N= {h, a} (A B)= (a, h) A (B C) = (a) A

a b e i h h j

B
a c d f h

C
a o n m

3. A U (B C) = (A U B) (A U C) (propiedad distributiva) A= {a, b, c, e, f, g} B= {a, k, c, s, p, l}

C= {a, z, w, r, h}
La propiedad distributiva se verifica en la intercesin de A y B se observa en la letra c, para la intensin de A y C Se observa en la letra a, pero tambin est contenido B y A donde sale a, c.

A bcef
g c

kcs pl

zw rh

4. A (B U C) = (A B) U (A C) (propiedad distributiva) C= {a, z, w, r, h,} La conmutativa de las uniones es el mismo conjuntos tanto para AUB como BUA es el: AUB= {a, b, c, e, f, g, k, s, p, l}

A abcefg
a c a

B akcs
pl

azwr h

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

A= {a, b, c, e, f, g}

B= {a, k, c, s, p, l} AUB=BUA= {a, b, c, e, f, g, k, l, p, l, s}

abc

Bakc
spl

efg

La conmutativa de la interseccin se ve representada en el conjunto para AB=BA es la letra a, c. 6. A B = B A (conmutativa de la interseccin) AB=BA= {a, c} A= {a, b, c, e, f, g} B= {a, k, c, s, p, l}

abcefg

akcsp l

7. A B = (A U B) \ (A B) La diferencia simtrica de los conjuntos A y B se muestra como resultado de las letras A= {a, b, c, e, f, g} B= {a, k, c, s, p, l} A B= {b, e, f, g, k, s, p, l}

befg

kspl

BIBLIOGRAFIA

Carlos Alberto Amaya Tarazona, Mdulo de AUTMATAS Y LENGUAJES FORMALES, Centro Nacional de Medios para el Aprendizaje 2011. UNAD.