UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD Nombre escuela: Escuela de Ciencias Bsicas Tecnologa e Ingeniera Nombre programa: Ingeniera

a de Sistemas

AUTOMATAS Y LENGUAJES FORMALES

301405 Programa: Ingeniera de Sistemas

GUIA DE ACTIVIDAD TRABAJO COLABORATIVO N 3 LENGUAJES ESTRUCTURADOS POR FRASES

BOGOTA. DC. ENERO DE 2012

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD Nombre escuela: Escuela de Ciencias Bsicas Tecnologa e Ingeniera Nombre programa: Ingeniera de Sistemas

Temticas revisadas:
Tercera Unidad III. LENGUAJES ESTRUCTURADOS POR FRASES Captulos 7. Mquinas de Turing. Lecciones 31. Definicin. 32. Funcionamiento de la Mquina de Turing 33. Diferencias entre un Computador y una Mquina de Turing 34. La Mquina Universal de Turing 35. Codificacin de Mquinas de Turing 36. Tesis de Church/Turing 37. Lenguajes Aceptados por la Maquina de Turing. 38. Variantes de Una Mquina de Turing 39. Problemas de Hilbert 40. Problemas Insolubles para la Teora de Lenguajes 41.Lenguajes Decidibles 42. Problemas de Halting 43. Decibilidad de Teoras Lgicas 44. Funciones Computables 45. Reducibilidad de Turing

8. Mquina de Turing y Computacin.

9. Funciones recursivas.

INTRODUCCIN: En las Unidades precedentes se han estudiado lo que se puede considerar las mquinas abstractas que permiten solucionar ciertos tipos de algoritmos, los algoritmos en los que no puede recordarse ms que una cantidad fija de informacin y otros en los que la informacin desarrollada durante la ejecucin del algoritmo puede recuperarse solo en concordancia con la regla lifo ltimos en entrar primeros en salir, en esta unidad se describe una maquina abstracta, llamada Mquina de Turing , que es aceptada de manera amplia como modelo general de computacin, aunque las operaciones bsicas de esta mquina son comparables en su sencillez a las de las mquinas estudiadas en las unidades anteriores, las nuevas maquinas pueden realizar una amplia variedad de operaciones de cmputo. Adems de aceptar lenguajes les es posible computar funciones y de conformidad con la tesis de Church-Turing, ejecutar casi cualquier procedimiento algortmico concebible. OBJETIVO GENERAL: Reconocer la importancia y el poder computacional de las Mquinas de Turing en el contexto de la solucin de problemas computacionales de reconocimiento de Lenguajes. OBJETIVOS ESPECFICOS: Estudiar las Mquinas de Turing y sus propiedades bsicas

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD Nombre escuela: Escuela de Ciencias Bsicas Tecnologa e Ingeniera Nombre programa: Ingeniera de Sistemas

METODOLOGA: Las sesiones son desarrolladas en forma terica, La estrategia de aprendizaje a utilizar ser el Aprendizaje colaborativo. Porque aprendizaje colaborativo? El desarrollo de las actividades de aprendizaje est basado en el aprendizaje colaborativo como una estrategia de aprendizaje y de trabajo de grupo que es usado en los cursos que se ofertan en el campus virtual de la UNAD, se requieren estas caractersticas para realizar un trabajo realmente efectivo. Participacin: el potencial de un grupo de aprendizaje se maximiza cuando todos los estudiantes participan activamente en las discusiones. Crecimiento Social: permite establecer y mantener una comprensin compartida de significados. Habilidades Conversacionales: la calidad de la comunicacin en grupos de discusin influencia la experiencia de aprendizaje y los logros de los miembros del grupo. Procesamiento Grupal y Anlisis de Rendimiento: existe procesamiento grupal cuando el grupo discute sus progresos y decide si contina con su comportamiento o lo cambia. Para ello los estudiantes deben evaluar individual y colectivamente sus rendimientos. Formacin de los grupos colaborativos: Los Grupos estn conformados por 5 estudiantes que el sistema en el momento del ingreso al curso acadmico los selecciona, es de anotar que este grupo est definido para desarrollar todo el curso acadmico y no es factible el cambio de grupo, este proceso fomenta deliberadamente la diversidad mezclando los estudiantes con diferente nivel, sexo, origen, estilo de aprendizaje, etc. Aunque esta distribucin no toma en cuenta la opinin de cada estudiante si pretende que se conserve dentro del equipo la pluralidad para potenciar la calidad, la cantidad y la velocidad de aprendizaje. Organizacin los Grupos colaborativos: Los equipos luego de la distribucin aleatoria que hace el sistema deben organizarse en este pequeo grupo obviamente con el compromiso de trabajar y de desempear algunos roles o funciones bsicas, que son indispensables para el desarrollo de la actividad. Una distribucin de funciones bsicas que se propone y debe ser definida una vez se hayan conocido los integrantes del grupo, es la siguiente (coordinador, relator, animador, tcnico y supervisor) aunque los estudiantes pueden crear las funciones que consideren ms adecuadas. En cada unidad de aprendizaje del curso los estudiantes deben elegir un coordinador del equipo que, a su vez, distribuye el resto de funciones entre sus compaeros. Cuando comienza una nueva unidad deben volver a elegir un coordinador pero de tal forma que nadie repita un cargo hasta que todos han pasado ya por ese cargo. La idea es que todos aprendan a

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD Nombre escuela: Escuela de Ciencias Bsicas Tecnologa e Ingeniera Nombre programa: Ingeniera de Sistemas

ser responsables de todas las funciones esenciales dentro de un equipo, que todos vivan la experiencia de esa responsabilidad. Cmo se logra pertenencia con el grupo colaborativo?: Lo importante en la conformacin del equipo es el hecho de que se sientan parte del equipo en el cual van a trabajar durante todo el semestre, para ello cada grupo deber ponerse de acuerdo para desarrollar una primera actividad grupal, que est planteada en el foro general del curso, debern elaborar una presentacin multimedia que debe contener un acta de conformacin del grupo, un nombre para el equipo, un logo distintivo del grupo y la redaccin de texto en donde el equipo se presenta a sus compaeros explicando sus puntos fuertes y dbiles.

Cmo organizar su trabajo?: En este punto cobra relevancia e importancia el uso del wiki como elemento para compartir toda la informacin del grupo y registrar los aportes de cada uno de los integrantes del grupo, si es decisin del grupo no usar el wiki, pueden realizar sus aporte por el foro colaborativo de cada prctica en los temas de trabajo individual y trabajo grupal. Para la organizacin del trabajo a desarrollar el proceso es el siguiente: Planificacin: Se deben repartir las funciones entre los componentes del grupo colaborativo y planificar el trabajo. Para ello elaboraran un "Plan de Accin" que es un documento en un procesador de palabras en donde mostrarn el organigrama del equipo, la organizacin del tema en donde se escriba que saben sobre el tema, que desean aprender y cmo van a buscar la informacin (Desarrollo de la practica en el Cead, Bibliotecas, en la Red, haciendo entrevistas a especialistas, etc.), el diagrama de flujo del proyecto y el calendario de actividades. Este Documento debe ser enviado al foro de trabajo colaborativo para compartirlo con el grupo y con el tutor en el TEMA de produccin del grupo. Elaboracin del trabajo: Con la informacin individual y grupal recogida en las bibliotecas, en la Red, haciendo entrevistas a especialistas etc. debern elaborar un informe que recoja lo esencial que han aprendido: el trabajo final. Para ello negociarn y construirn entre todo el grupo los contenidos de la prctica, se deja la decisin al grupo para que seleccione la tcnica ms adecuada para compartir la produccin de cada uno, se sugiere elaboren mapas de ideas o un mapa conceptual del tema a partir de la informacin elaborada individualmente.

Producto esperado a entregar: El producto es un documento que debe cubrir todos los puntos de la rbrica de evaluacin y debe ser elaborado en un procesador de palabras (openoffice write o Microsoft Word.) para luego ser convertido a PDF.

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD Nombre escuela: Escuela de Ciencias Bsicas Tecnologa e Ingeniera Nombre programa: Ingeniera de Sistemas

DOCUMENTO A ENTREGAR:

Se debe entregar un archivo comprimido (.rar) que contenga el siguiente nombre: Como ejemplo, si el estudiante se llama Carlos Alberto Amaya Tarazona y pertenece al grupo 41, entonces el archivo a enviar es: 41_col3_301405.rar El archivo comprimido contendr los siguientes elementos: 1. UN DOCUMENTO EN PDF: que contiene: Formato de presentacin del Documento: El documento debe contener los siguientes puntos Datos de los Estudiantes (nombre, nmero de matrcula, e-mail, Zona, Cead, Grupo colaborativo) Datos del tutor. Introduccin concertada y redactada por los integrantes del Grupo Objetivos (General y Especficos) que pretenden alcanzar con el desarrollo de la actividad. Descripcin general del trabajo. Desarrollo de cada uno de los puntos enunciados a continuacin. Bibliografa acorde a las Normas APA Rev 5. 2. LOS ARCHIVOS GENERADOS POR EL SIMULADOR: Total cinco archivos cargados en el simulador. Debe proporcionar las fuentes de los archivos y verificar que se puede ejecutar y simular. Estos archivos los debe agrupar ordenadamente en una carpeta.

Exitos. Cordialmente. Ing. (Msc). Carlos Alberto Amaya Tarazona

Para evitar confusin en la forma, y contenidos que debe presentar, verifique el esquema siguiente del contenido a entregar:

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD Nombre escuela: Escuela de Ciencias Bsicas Tecnologa e Ingeniera Nombre programa: Ingeniera de Sistemas

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD Nombre escuela: Escuela de Ciencias Bsicas Tecnologa e Ingeniera Nombre programa: Ingeniera de Sistemas

EJERCICIOS A DESARROLLAR: 1. Mediante un grafo explique la construccin modular de las Mquinas de Turing y describa cada uno de sus elementos.

2. Disee una MT que reconozca {0 n 1 n : n 1 }

Cambie un 0 por una x (explique qu pasa con la mquina). Cambie un 1 por una y (explique qu pasa con la mquina). Identifique en qu momento la mquina de Turing se detiene. Calcule la funcin Grafquela e identifique sus elementos. Identifique la funcin de transicin.

3. Construya una MT que acepte el Lenguaje (represntela L = {a i b i c i : i 0} sobre = {a,b,c}

Se cambia la a por una x movindose a la derecha. (explique qu pasa con la mquina). Represente los movimientos en la tabla de transiciones para MT. Luego se mueve a la izquierda pasando por encima de las bs (bes) (explique qu pasa con la mquina). Represente los movimientos en la tabla de transiciones para MT. Identifique en qu momento la mquina de Turing se detiene. Calcule la funcin Grafquela e identifique sus elementos.

4. En el siguiente diseo de mquina de Turing (MT), identifique cuales operaciones realiza y que son vlidas acordes a la forma de operar o trabajar una MT. : Sea ordenado en la descripcin acorde a los pasos, posiciones y operaciones que hace la MT. Sea objetivo, crtico. La explicacin es de la interpretacin suya o la del grupo, que sea objetiva, crtica, conceptual. Si hace referencia a un texto o aun autor y no copia las fuentes o referencias de pgina, (formato APA) no es vlido el punto.

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD Nombre escuela: Escuela de Ciencias Bsicas Tecnologa e Ingeniera Nombre programa: Ingeniera de Sistemas

5. Cite un ejemplo real (aplicado a algn problema computacional vlido, problema de clculo, problema inmerso en un ejercicio de la vida diaria problema que se pueda representar mediante un algoritmo) que lo lleve a comprender o a asociar PRINCIPIO DE CHURCH-TURING:. (Describa su ejemplo de forma concisa y aplicada) Tenga cuidado con lo que copia de Internet. La explicacin debe ser precisa, clara y objetiva, de su autora. Si cita algn documento de la web, se verificarn las referencias y pi de pgina. Documento que no tenga estas referencias, ser material no evaluado.

6. Construir una MT que reconozca

L = 01 * + = 10 *
Para la Mquina M = (Q, , , q 0 , T , B , ) Q = { q 0 , q 1 } x {0,1,B} Estado inicial [q 0 , B] Estado final [q 1 , B] La funcin de transicin

est dada por:

([q 0 , B] , 0 ) = ([q 1 , 0], 0 , D) ([q 0 , 0] , 1 ) = ([q 1 , 0], 1 , D) ([q 0 , 0] , B ) = ([q 1 , B], B , D) ([q 0 , B] , 1 ) = ([q 1 , 1], 1 , D) ([q 1 , 1] , 0 ) = ([q 1 , 1], 0 , D) ([q 1 , 1] , B ) = ([q 1 , B], B , D)

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD Nombre escuela: Escuela de Ciencias Bsicas Tecnologa e Ingeniera Nombre programa: Ingeniera de Sistemas

7. Haciendo uso de un simulador, monte los tres ejercicios iniciales (2, 3 ,6) de este trabajo en un simulador y recorra la mquina, verificando: su estado inicial, su estado final estado de parada estado de inicio cadenas aceptadas. Tenga en cuenta que la construccin de las mquinas (los diagramas de Moore) solo son permitidos si son generados por un simulador. En este ejercicio debe incluir los archivos generados por el simulador

8. Una manera ms simple de determinar la indecibilidad es utilizando el mtodo de reduccin, el cual est implcito en nuestra manera de pensar a la hora de solucionar ciertos problemas: dado un problema P1, este se reduce a solucionar P2. Es decir, si solucionamos P2, tenemos solucionado P1. Formule un problema tpico que aplique a su vida cotidiana, personal, acadmica o laboral que mediante el mtodo de reduccin solucione esta indecibilidad. La formulacin implica: Descripcin del problema Actores que intervienen Justificacin porque es indecidible Una posible solucin (de reduccin) Una comparativa con el autmata y la descripcin de sus componentes. 9. Disear una MT que acepte las palabras en {a, b} que terminen con a. Plsmela en el simulador (debe entregar el archivo generado por el simulador), Las imgenes capturadas van inmersas en el desarrollo del trabajo Plasme el diagrama de Moore. Identifique los elementos de la MT para este ejercicio explicando su significado. Identifique la funcin de transicin. Ejecute el recorrido con el Run Test para una cadena vlida.

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD Nombre escuela: Escuela de Ciencias Bsicas Tecnologa e Ingeniera Nombre programa: Ingeniera de Sistemas

10. Considere la mquina de Turing de la figura e indique que tipo de cadenas decide el lenguaje que acepta. Plsmela en el simulador. Las imgenes capturadas van inmersas en el desarrollo del trabajo. Ejecute el RunTest a la cadena aceptada (mustrela en la captura de imagen para el trabajo) Plasme el diagrama de Moore. Identifique la funcin de transicin. Ejecute el recorrido con el Run Test para una cadena vlida.