UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

TRABAJO COLABORATIVO UNIDAD NO. 1

Presentado por: JESUS ANTONIO BARBOSA CABREJO C.C. 80.763.813 Jesus.barbosa28@hotmail.com JOHN FRANCISCO NEIRA N de grupo: _9

Presentado a: JAIME JOSE VALDES

AUTMATAS Y LENGUAJES FORMALES CEAD VALLE DEL GUAMUEZ LA HORMIGA PUTUMAYO DICIEMBRE DE 2011

INTRODUCCION Uno de los hechos que se destaca en la informtica es que las reas genricas del conocimiento humano como es la lgica y el lgebra, han tenido que especializarse, o particularizarse para ser utilizados en esta rea, de aqu surge el uso de la lgica matemtica, lgica de conjuntos, teora de grafos, entre otros, para su aplicacin en las ciencia de las computadoras., extendindose en tantas direcciones como la teora del lenguaje, el no determinismo as como las expresiones regulares y las gramticas libres de contexto. Lenguajes regulares tienen gran importancia en el diseo de los lenguajes de programacin ya que los componentes bsicos de un LP constituyen LRs., estos 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. Los Lenguajes ms sencillos son los considerados lenguajes regulares, es decir, los que se pueden generar a partir de lenguajes de un elemento con la aplicacin de ciertas operaciones estndar realizadas un nmero finito de veces. Estos son pues los lenguajes que pueden reconocer los dispositivos llamados Autmatas finitos (AF) que son mquinas de cmputo con memoria muy restringida. En esta unidad se considera como segundo aspecto la idea de que un lenguaje no sea regular, adems de proporcionar un modelo sencillo de computacin que se puede generalizar en las unidades siguientes.

1. OBJETIVO GENERAL Identificar y analizar la temtica de los lenguajes regulares, autmatas finitos y sus aplicaciones.

OBJETIVOS ESPECIFICOS Estudiar los conceptos fundamentales de la teora de autmatas y lenguajes formales, para la descripcin de ellos. Conocer como es el desarrollo aplicacin de los lenguajes regulares y los autmatas finitos. Distinguir los diferentes tipos de lenguajes formales existentes. Implementar el uso de diagramas de Moore, y minimizacin de autmatas finitos etc., para el desarrollo de situaciones de lenguajes y autmatas presentes.

EJERCICIOS A DESARR ROLLAR: 1. Co onstruya un n autmata que q reconz zcalas caden nas que con ntienen la su ubcadena ab ba y cuya a definicin formal sera la siguien nte: 2} Q = {1,2 ={a,b} I={1} F={2} a),1),((1,b),1 1),((1,aba), ,2),((2,a),2),((2,b),2)} ={((1,a Tabla T de Tr ransicin: f q1 q2 a q1,q2,q2 q2 b q1,q2 q2 g q1 q2 a 1,2,2 2 b 1 1,2 2

R el diagrama d de e Moore Realice

En E el simulador demue estre las cad denas de ent trada vlida as (aba).

Para el sigu uiente AFN ND represe entado en el diagram ma, identifiq que la tabl la de 2. P tr ransicin co orrecta que lo represent ta:

 Constryalo C o en los simu uladores:

Tabla T de tran nsicin: f qo q1 q2 q3 q4 a q3 q2 q3,q4 q4 b q1 q2 q2 q3 q4

Verifique V el lenguaje ac ceptado por r el autmata en el simu ulador q0 = aq3 + bq1 q1 = 0 + bq2 q1 = bq2 q2 = aq2 + bq2 q2 = (a + b) q2

q3 = aq3 aq4 + bq3 q3 = (a + b) q3 l aq4 + bq q3 q4 = aq4 + bq4 q4 = (a + b) q4 Leng guaje descr rito por la expresin e regular: r L(A) ) = ((aa(a+b b)*) + bb)(a a+b)*
3. Pa ara el siguiente autm mata, constryalo en e el simulado or, identifiqu ue claramente las C Cadenas y subcadena as vlidas y justifquelas

{ q1, q2, q3, q4} Q= {q0, A= {a,b} q0 (q4) F=( (q0 0,a)=q1 (q0 0,b)=q3

 (q1 1,b)=q2 (q1 1,a)=q3 (q2 2,a)=q4 (q2 2,b)=q3 (q3 3,a)=q3 (q3 3,b)=q3 (q4 4,a)=q4 (q4 4,b)=q4 A = (aba(a+b)*) LMA e son acept tadas por al a autmata a son las ini iciadas por r aba, dado o que Las nicas que otras opcion nes quedan n en un ciclo aislado en e q3. las o ara el siguie ente autmata, M =(Q Q, A, q0, , F) donde: 4 Pa Q={ {q0, q1, q2 2,q3} A = {a, { b} q0 el estado Inicial Es e

0,a)=q1 (q0 (q0 0,b)=q2 (q1 1,b)=q1 (q1 1,a)=q3 (q2 2,a)=q0 (q2 2,b)=q2 (q3 3,a)=q1 (q3 3,b)=q2 A = (a+(b*))(ab+(b*)) LMA

5. Pa ara el siguiente autm mata finito determinista d a dado por r: M = ({q0, q1, q2 2, q3} , {0, 1} , , q0, {q1}) { Dond de la funci n : {q0, q1, q q2, q3 } {0, 1} {q0, q1, q2, q q3} vien ne dada por r: (q0 0, 0) = q0 (q0, ( 1) = q1 1 (q1, 0) = q0 (q1, ( 1) = q2 2 (q2 2, 0) = q3 (q2, ( 1) = q1 1 (q3 3, 0) = q3 (q3, ( 1) = q2 2 Plsmelo en los s simulado ores lice el diagrama de Moore. Real Identifique la ta abla de tran nsicin corr respondiente Verif fique el lenguaje acep ptado y las cadenas vlidas para a el autma ata. Identifique el es stado inicia al y final res spectivame ente para el autmata

6. Re ealice la tabla de tans sicin. simu uladores).

Tabla de transicin

7. Co onstruir un autmata que recono ozca las ca adenas sobre {a,b,c} donde c sl lo pued de aparece er si la cade ena comien nza con a. Tabla de transiciones

El au utmata se e compone de dos sub bautomatas s uno que acepta a c y otro o que no o si comienza en a pasa por la a cadena que q contien ne csi comie enza en b pasa p por el l que no acepta c. tod dos los est tados son finales f men nos los de error e

ado el aut mata de la a figura, con nstruya un autmata equivalente e e (AFD) 8. Da partiendo del estado inicia al {q0}, y de etermine el l conjunto de d estados alcanzable es c smbo olo del alfabeto. con cada TABLA DE TRA ANSICIONES

9.- D Dado el sigu uiente Autm mata Finito No Determ minista

a) Construi ir el AFD mnimo m equi ivalente (a (b b) Deducir el lenguaje e que recono oce Construir el l mnimo eq quivalente. 3a . C a de equiva alencias: Tabla p* q r* s 1 q q s r 0 r q r s p -

ogemos los finales f (p* y r*) = C1 y no finales s (q, s)= C2 Esco va tabla: Nuev 1 p* C2 r* C2 q C2 s C1 vo autmata a: Nuev C 1 0 1 C guaje admiti ido: Leng a a. Todas la as palabras que q inicien y/o y termine en en 1 b b. Todas la as palabras que q termine en en 0 0 C 1 0 C1 C2 C1 C1 C2 NUEVO O ESTADO O C1 C1 C2 C3

CON NCLUSION NES

ar un AP tenemos t que e repartir lo o que requie ere ser reco ordado entr re los estado os y Dise la pil la. Distintos s diseos pa ara un mism mo problema a pueden tom mar decisio ones diferen ntes en cu uanto a que recuerda ca ada cual. Un le enguaje reg gular sobre un u alfabeto dado se define d recursivamente como: c E El lenguaje vaco v es un u lenguaje e regular E El lenguaje cadena c vac a {} es un n lenguaje re egular egular P Para todo sm mbolo a {a} es un lenguaje re S Si A y B son n lenguajes regulares en ntonces A B (unin) ), AB (conc catenacin) )y A A* (clausura a o estrella de d Kleene) son lenguaj jes regulare es S Si A es un le enguaje regu ular entonce es (A) es el mismo leng guaje regular N No existen ms m lenguajes regulares s sobre

lenguajes fi initos, aquel llos que solo o contienen n un nmero o finito de palabras. p Los l Com mo conclusi n se dice que un AF FND es eq quivalente a un AFD ya que la nica difer rencia con los anterior res est en que en la transicin en un esta ado determinado pued de haber, par ra un mismo m de un a arco o no ha aber ningun no. o smbolo, ms n autmata finito no de eterminista acepta una cadena si es e posible que q su Decimos que un isis deje a la a mquina en e un estad do de acepta acin. Decim mos si es po osible, pues s si se anli toma a el camino o equivocad do no se aceptara a un na cadena que q podra ser vlida (una caden na del lengu uaje aceptad do por este autmata, d designado por L(M). bin se di ice que pa ara cualqui ier alfabeto o S, {L(M M) es un autmata finito Tamb deter rminista con alfabeto S} = { L(M) es un autmata finito no determinista d a con alfab beto S}.

BIBLIOGRAFIA

MODULO AUTMATAS Y LENGUAJES FORMALES Edgar Alberto Quiroga Rojas UNAD Facultad de ciencias bsicas e ingeniera Programa ingeniera de sistemas Bogot d.c., 2008 Libros: Brokshear J, Blend (1993), Teoria de la computacin, Lenguajes formales, Autmatas y complejidad Mxico edicin, Addison-Wesley iberoamericana. Dean Kelley, (1995), Teora de autmatas y lenguajes formales, Espaa Prentice - Hall. Pedro Isasi, Paola Martnez, Daniel. Borrajo (1997). Lenguajes, gramticas y autmatas Un enfoque prctico Espaa, 2 edicin, Addison-Wesley J.E. Hopcroft, R. Motwani, J.D. Ullman, (2002) Introduccin a la Teora de Autmatas, Lenguajes y Computacin, Espaa 2 edicin, Addison-Wesley iberoamericana. Martn John, (2004), Lenguajes formales y teora de la computacin, Mxico, 3 Edicin, Mc Graw Hill.

WEBGRAFIA: http://www97.intel.com/cr/ProjectDesign/InstructionalStrategies/Cooperativ eLearning/ http://moodle.org/mod/forum/discuss.php?d=47912 Jordi Botella de Maglia http://www.exa.unicen.edu.ar/asai2006/pdfs/waife/duran.pdf Autor: Elena B. Durn http://luisguillermo.com/castellano/default.htm#supra http://www.ing.puc.cl/jabaier/iic2222 http://www.upseros.com/