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 DESARROLLAR: 1. Construya un autmata que reconzcalas cadenas que contienen la subcadena aba y cuya definicin formal sera la siguiente: Q = {1,2} ={a,b} I={1} F={2} ={((1,a),1),((1,b),1),((1,aba),2),((2,a),2),((2,b),2)} Tabla de Transicin: f q1 q2 a q1,q2,q2 q2 b q1,q2 q2 g q1 q2 a 1,2,2 2 b 1,2 2

Realice el diagrama de Moore

En el simulador demuestre las cadenas de entrada vlidas (aba).

2. Para el siguiente AFND representado en el diagrama, identifique la tabla de transicin correcta que lo representa:

 Constryalo en los simuladores:

Tabla de transicin: f qo q1 q2 q3 q4 a q3 q2 q3,q4 q4 b q1 q2 q2 q3 q4

Verifique el lenguaje aceptado por el autmata en el simulador 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 + bq3 q4 = aq4 + bq4 q4 = (a + b) q4 Lenguaje descrito por la expresin regular: L(A) = ((aa(a+b)*) + bb)(a+b)*
3. Para el siguiente autmata, constryalo en el simulador, identifique claramente las Cadenas y subcadenas vlidas y justifquelas

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

 (q1,b)=q2 (q1,a)=q3 (q2,a)=q4 (q2,b)=q3 (q3,a)=q3 (q3,b)=q3 (q4,a)=q4 (q4,b)=q4 LMA = (aba(a+b)*) Las nicas que son aceptadas por al autmata son las iniciadas por aba, dado que las otras opciones quedan en un ciclo aislado en q3. 4 Para el siguiente autmata, M =(Q, A, q0, , F) donde: Q = {q0, q1, q2,q3} A = {a, b} q0 Es el estado Inicial

 (q0,a)=q1 (q0,b)=q2 (q1,b)=q1 (q1,a)=q3 (q2,a)=q0 (q2,b)=q2 (q3,a)=q1 (q3,b)=q2 LMA = (a+(b*))(ab+(b*))

5. Para el siguiente autmata finito determinista dado por: M = ({q0, q1, q2, q3} , {0, 1} , , q0, {q1}) Donde la funcin : {q0, q1, q2, q3 } {0, 1} {q0, q1, q2, q3} viene dada por: (q0, 0) = q0 (q0, 1) = q1 (q1, 0) = q0 (q1, 1) = q2 (q2, 0) = q3 (q2, 1) = q1 (q3, 0) = q3 (q3, 1) = q2 Plsmelo en los simuladores Realice el diagrama de Moore. Identifique la tabla de transicin correspondiente Verifique el lenguaje aceptado y las cadenas vlidas para el autmata. Identifique el estado inicial y final respectivamente para el autmata

6. Realice la tabla de tansicin. simuladores).

Tabla de transicin

7. Construir un autmata que reconozca las cadenas sobre {a,b,c} donde c slo puede aparecer si la cadena comienza con a. Tabla de transiciones

El autmata se compone de dos subautomatas uno que acepta c y otro que no si comienza en a pasa por la cadena que contiene csi comienza en b pasa por el que no acepta c. todos los estados son finales menos los de error

8. Dado el autmata de la figura, construya un autmata equivalente (AFD) partiendo del estado inicial {q0}, y determine el conjunto de estados alcanzables con cada smbolo del alfabeto. TABLA DE TRANSICIONES

9.- Dado el siguiente Autmata Finito No Determinista

(a) Construir el AFD mnimo equivalente (b) Deducir el lenguaje que reconoce 3a . Construir el mnimo equivalente. Tabla de equivalencias: 1 q q s r 0 r q r s p -

p* q r* s

Escogemos los finales (p* y r*) = C1 y no finales (q, s)= C2 Nueva tabla: 1 p* C2 r* C2 q C2 s C1 Nuevo autmata: 1 C 0 1 0 C Lenguaje admitido: a. Todas las palabras que inicien y/o terminen en 1 b. Todas las palabras que terminen en 0 C 1 C1 C1 C2 -

0 C1 C2

NUEVO ESTADO C1 C1 C2 C3

CONCLUSIONES

Disear un AP tenemos que repartir lo que requiere ser recordado entre los estados y la pila. Distintos diseos para un mismo problema pueden tomar decisiones diferentes en cuanto a que recuerda cada cual. Un lenguaje regular sobre un alfabeto dado se define recursivamente como: El lenguaje vaco es un lenguaje regular El lenguaje cadena vaca {} es un lenguaje regular Para todo smbolo a {a} es un lenguaje regular Si A y B son lenguajes regulares entonces A B (unin), AB (concatenacin) y A* (clausura o estrella de Kleene) son lenguajes regulares Si A es un lenguaje regular entonces (A) es el mismo lenguaje regular No existen ms lenguajes regulares sobre

Los lenguajes finitos, aquellos que solo contienen un nmero finito de palabras. Como conclusin se dice que un AFND es equivalente a un AFD ya que la nica diferencia con los anteriores est en que en la transicin en un estado determinado puede haber, para un mismo smbolo, ms de un arco o no haber ninguno. Decimos que un autmata finito no determinista acepta una cadena si es posible que su anlisis deje a la mquina en un estado de aceptacin. Decimos si es posible, pues si se toma el camino equivocado no se aceptara una cadena que podra ser vlida (una cadena del lenguaje aceptado por este autmata, designado por L(M). Tambin se dice que para cualquier alfabeto S, {L(M) es un autmata finito determinista con alfabeto S} = { L(M) es un autmata finito no determinista con alfabeto 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/