TRABAJO COLABORATIVO No.

JOSE GABRIEL HUERTAS, Cd. LUIS IGNACIO ORTIZ ARTEAGA, Cd. 98386114 MAURICIO ANDRES ARELLANO ROSERO, Cd. ANDRES ORLANDO RODRIGUEZ SANTACRUZ Cd. 98.396.027

TUTOR UNAD Ing. Esp. JAIME JOSE VALDES

UNAD ESCUELA DE CIENCIAS BSICAS E INGENIERA PROGRAMA DE INGENIERA DE SISTEMAS AUTMATAS Y LENGUAJES FORMALES - CD. 301405 - GRUPO 45 MAYO DE 2012

INTRODUCCIN

Mediante el desarrollo del trabajo colaborativo de la unidad 2 del curso de Autmatas y Lenguajes Formales pretendemos poner en prctica los conceptos bsicos aprendidos hasta el momento acerca de los lenguajes independientes del contexto, sus conceptos generales, sus propiedades y su relacin con los autmatas a pila. Tambin es importante complementar la solucin de los ejercicios de la actividad a travs del uso de herramientas computacionales de simulacin, empleando los conceptos aprendidos en nuestros estudios de las diversas ramas de la Ingeniera en nuestra Universidad. Para ello, se pretende resolver lo solicitado en la gua de la actividad mediante el trabajo individual y colaborativo de los miembros del grupo No. 45 a travs de la Plataforma Virtual del curso buscando fomentar la investigacin, el trabajo en equipo, el dialogo y la concertacin como pilares fundamentales de la filosofa Unadista.

OBJETIVOS

1.

Conocer los modelos de computacin que corresponden a los lenguajes independientes del contexto y su aplicacin. Generalizar los conceptos de autmatas finitos y gramticas regulares. Reconocer el potencial de procesamiento del lenguaje del autmata con los Autmatas de pila. Desarrollar las competencias comunicativas con sus compaeros de grupo al realizar un trabajo colaborativo concertado bajado en la investigacin individual y un dialogo grupal respetuoso y constructivo. Afianzar las competencias argumentativas al exponer la resolucin de un problema utilizando los conceptos del modulo.

2. 3. 4.

5.

DESARROLLO DE ACTIVIDADES

Como primer paso, segn la gua de la actividad se enunciarn los datos del Tutor y de los Estudiantes del grupo colaborativo. Curso: AUTOMATAS Y LENGUAJES FORMALES Cd. 301405 Tutor Ing. de Sistemas Especialista JAIME JOSE VALDES Ubicacin: Riohacha Direccin de correo electrnico: jjvb81@hotmail.com Compaeros del grupo 45: Jos Gabriel Huertas Cead: Pasto Direccin de correo electrnico: gabriel_375@hotmail.com Luis Ignacio Ortiz Arteaga Cdigo: 98386114 Cead: Pasto Direccin de correo electrnico: lunacho99@hotmail.com Mauricio Andrs Arellano Rosero Cead: Pasto Direccin de correo electrnico: alex_jakab@hotmail.com Andrs Rodrguez Santacruz Cdigo: 98.396.027 Cead: Pasto Direccin de correo electrnico: arodri7703@gmail.com Como segundo paso, procedemos a resolver las actividades propuestas por la gua de actividades. Ejercicio No. 1. Calcular el autmata mnimo correspondiente al siguiente autmata.

1. Componentes del autmata. A = (Q, , f, q0, F) donde: Q es un conjunto de estados. es el alfabeto de entrada f: Q X Q es la funcin (total) de transicin. q0 Q es el estado inicial. F Q es el conjunto de estados finales Q/E0={ C1(para estados finales) , C2(para los dems estados)} Q/E0={ C1(q2) , C2(q0,q1,q3,q4,q5,q6,q7)} Q/E1={ C1(q2) , C2(q0,q1,q3,q4,q5,q6)} 2. Tabla de transicin.
Q/E1

q0 q1 #q2 q3 q4 q5 q6 q7

0 q1 q5 q0 q6 q2 q5 q5 q2

1 q4 q2 q2 q4 q5 q3 q2 q5

0 C2 C2 C2 C2 C1 C2 C2 C1

1 C2 C1 C1 C2 C2 C2 C1 C2

3. Lenguaje que reconoce.

4. Expresin Regular vlida. ((01+10+(00+11)(0+111)*110+(00+11)(0+111)*10(0(0+111)*10)*(1+0(0+111)*110))1*0)*(01+10+( 00+11)(0+111)*110+(00+11)(0+111)*10(0(0+111)*10)*(1+0(0+111)*110))1* 5. Gramtica. G = ({A, B, C, D, E, F, G}, {0, 1}, P, S), siendo P el siguiente conjunto: S 0A B 0S D 0B E0 G 0B S 1D B 1B D 1E F 0E G0 A 0E B D0 F0 G 1E A 1B C 0F E 0E F 1B G1 A1 C 1D E 1C F1

6. rbol de transicin.

7 y 8.

La gramtica no es ambigua porque hay un solo rbol de derivacin. 9. Se suprime el estado q7 porque no tiene ninguna seal de inicio de interaccin.

Ejercicio No.2. Construya el autmata de Pila correspondiente. Disee un AP que acepte exactamente el Lenguaje con palabras de la forma anbn para cualquier nmero natural n. 19. Grafquelo en JFLAP y realice el Traceback para las transiciones. (Las columnas para un AP son: El estado en que se encuentra el autmata, lo que falta por leer de la palabra de entrada, y el contenido de la pila). Teniendo en cuenta como referencias al disear AP, debemos establecer de forma clara qu informacin ser recordada entre cada estado y la pila como la forma para el manejo de dicha pila. Para este caso en particular, la pila se emplear como un contador para recordar la cantidad de letras a que se consumen y luego verificar tambin la cantidad de letras b. Con respecto a los estados, su uso ser memorizar si el AP est consumiendo a o b en un instante preciso. La tabla de ejecucin del AP para la palabra aabb se muestra a continuacin: Estado qo qo qo q1 q1 Por leer aabb abb bb b Pila a aa a

20. Plasme las imgenes y capturas en el documento. (Documente el proceso)

21. Muestre el diagrama correspondiente de estados.

CONCLUSIONES

Con el desarrollo del trabajo colaborativo No. 2, realizada por parte de los estudiantes del grupo 45 de la asignatura de Autmatas y Lenguajes Formales, hemos comprendido de manera clara el contenido de la unidad No. 2 del presente curso y as apropiarnos de estos importantes fundamentos tericos y prcticos aprovechando todos los recursos dispuestos por nuestro Tutor a travs del aula virtual de nuestra Universidad. A travs del trabajo individual, la puesta en comn de los productos ante el grupo y un dialogo fluido entre las partes intervinientes en la actividad, se logr la concertacin de la mejor alternativa de solucin de los ejercicios solicitados por el Tutor, esperando cumplir con los objetivos planteados en la actividad con eficacia y eficiencia. Esta actividad nos permite acercarnos a la meta de crecer como estudiantes Unadistas de las diversas ramas de la Ingeniera tanto a nivel intelectual como de requisitos acadmicos vislumbrando nuestra futura titulacin.

BIBLIOGRAFA

ALFONSECA CUBERO, Enrique. ALFONSECA MORENO, Manuel. MARIYN SALOMN, Roberto. Teora de Autmatas y Lenguajes Formales. McGraw-Hill. Espaa. 2007. BROOKSHEAR, J. Glen. Teora de la computacin, lenguajes formales, autmatas y complejidad. Editorial: Addison Wesley Iberoamericana, Buenos Aires (Arg), 1999, pginas 333. DIRECCIN ELECTRNICA: http://www.exa.unicen.edu.ar/catedras/ccomp1/Apunte3.pdf DIRECCIN ELECTRNICA http://luzem.dyndns.org/tag/jflap/ DIRECCIN ELECTRNICA: http://www.ia.urjc.es/grupo/docencia/automatas_itis/examenes/itis/solucion_final_sep_2009.pdf MODULO: AUTMATAS Y LENGUAJES FORMALES. UNAD. 2011. LIU C. L. Elementos de matemticas discretas segunda edicin. Editorial: McGraw-Hill Interamericana, Mjico, 1995, pginas 447. QUIROGA R. Edgar Alberto, Mdulo Autmatas y Lenguajes Formales, Universidad Abierta y a Distancia UNAD, Bogot DC, 2011. PLATAFORMA VIRTUAL DE LA UNAD: Curso virtual de Autmatas y Lenguajes Formales.