UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNADEscuela de Ciencias Básicas, Tecnología e Ingeniería Curso: Autómatas y lenguajes Formales. 301405. Ing. (Msc). Carlos Alberto Amaya Tarazona GUIA ACTIVIDADES - EJERCICIO A DESARROLLAR PARA MOMENTO 3 2015-1 Autómatas y lenguajes Formales_ 301405 Producto del momento tres: El producto es un documento que debe cubrir todos los puntos de la rúbrica de evaluación y debe ser elaborado en un procesador de palabras (openoffice write o Microsoft Word.) para luego ser convertido a PDF (Portable data File). NOTA IMPORTANTE. Para los ejercicios propuestos de esta actividad, (que son dos) se deben realizar o “recrear” en alguno de los dos simuladores: Los gráficos y análisis de cada simulador son los que se exportaran al documento de Word. Debe entregar los archivos generados por el simulador en una carpeta. Tenga en cuenta que no se aceptan fórmulas, caracteres o expresiones regulares, entre otros que sean copiadas como imagen (Incluso las imágenes propias de esta guía). Se debe usar un editor de fórmulas para plasmarlas. Los gráficos deben ser generados por simuladores o si los realiza en un editor de gráficos manualmente, también son aceptados. El JFLAP. En las siguientes direcciones de Internet podrán descargar las mencionadas herramientas: • O EN EL MODULO DEL AULA (Ver 4 – 2014 -2) EN LA PAGINA 155 ENCUENTRAN TODA LA LISTA DE HERRAMIENTAS Y LAS URLS DE DESCARGA. JFLAP. http://www.cs.duke.edu/csed/jflap/ DOCUMENTO A ENTREGAR: Se debe entregar un archive comprimido (.rar) que contenga el siguiente nombre: Como ejemplo, si el grupo es el 44, entonces el archivo a enviar es: 44_mom3_301405.rar EL ESPACIO ASIGNADO PARA QUE CARGUE O ENTREGUE LE ACTIVIDAD ES EN EL “ENTORNO DE EVALUACION Y SEGUIMIENTO” UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD Escuela de Ciencias Básicas. Zona. . objetivos. (también reconoce λ ). Lo importante de esta actividad es estar concentrados en el desarrollo del ejercicio como estrategia de Problemas. Cead. pero que tiene como salida el inverso de los símbolos que han entrado (cambia “0”s por “1”s y “1”s por “0”s). número de matrícula. 301405. Modifica el contenido de la cinta realizando cierta función. No se está solicitando introducción. Datos del tutor. Desarrollo de cada uno de los puntos enunciados a continuación. Ing. Grupo que presenta la actividad). Problemas a desarrollar (Para todos los ejercicios Tenga en cuenta que el diseño debe cumplir las condiciones dadas o de lo contrario se estaría diseñando una máquina con propósitos diferentes y eso cambia toda la funcionalidad de la misma. LOS ARCHIVOS GENERADOS POR EL SIMULADOR EN UNA CARPETA: Generados en JFLAP (los de extensión jff). Observe que en este caso el mismo alfabeto se usa tanto para las cadenas de entrada como para la cinta. bibliografía. Descripción general del trabajo. (Msc). Ejemplos: Calcula el complemento A1y el complemento A2 Cuenta el número de símbolos de una palabra Divide una palabra en dos Desplaza símbolos en la cadena a izquierda y derecha Calcula la paridad de las cadenas Sustitución de dígitos Adición de bits bajo condiciones específicas matemáticas) Son muchísimas las aplicaciones que como “transducción puede generar una Máquina de Turing” Ejemplo: La siguiente máquinas de Turing se puede comportar como transductor cuando reconoce cualquier combinación de ceros y unos. Estos no son considerados como aportes ni deben ir plasmados en el trabajo.) PRIMER EJERCICIO: DISEÑO DE UN TRANSDUCTOR La máquina de Turing se puede comportar como transductor: Un transductor computa una determinada función sobre una cadena en lugar de computarla sobre un conjunto de enteros o de símbolos independientes. Tecnología e Ingeniería Curso: Autómatas y lenguajes Formales. Construyen una respuesta específica (una salida) para un problema planteado. e-mail. Carlos Alberto Amaya Tarazona El archivo comprimido contendrá los siguientes elementos: UN DOCUMENTO EN PDF: que contiene: Formato de presentación del Documento: El documento debe contener los siguientes puntos PORTADA: Datos de los Estudiantes (nombre. . Identifique los componentes de la Máquina de Turing (descríbala). Actividades a desarrollar: Diseñe Una MT que reconozca el lenguaje L ={1}* (incluye la cadena λ). Actividades a desarrollar: Diseñe Una MT que reconozca el lenguaje L ={1}* (incluye la cadena λ). 3. 5. 2. Carlos Alberto Amaya Tarazona Actividades a desarrollar: Diseñe Una MT que se comporte como transductor que reconozca el lenguaje L ={a}* (incluye la cadena λ). 7. muestre la salida y la operación en la cinta. Lo que acaba de diseñar se comportaría también como transductor. Diséñela en un Diagrama de Moore. 7. Identifique los componentes de la Máquina de Turing (descríbala). 3. La transducción (salida) debe ser que por cada símbolo que entre. El alfabeto de la cinta debe ser diferente al alfabeto de entrada. 301405. Recorra la máquina con al menos una cadena válida explicando lo sucedido tanto en la cinta como en la secuencia de entrada. (Msc). 1. Lo que acaba de diseñar es una MUT o una MT. 4. 4. 2. Ejecute el RunTest a una cadena aceptada que tenga la menos cinco símbolos 6. Diséñela en un Diagrama de Moore. Recorra la máquina con al menos una cadena válida explicando lo sucedido tanto en la cinta como en la secuencia de entrada. Identifique en que momento la máquina se detiene. El alfabeto de la cinta debe ser diferente al alfabeto de entrada 1. Justifique su respuesta. Y que en la cinta escriba el doble de la cadena que ha reconocida cuando haya terminado el recorrido. SEGUNDO EJERCICIO: DISEÑO DE UNA MT QUE PERMITA LA SALIDA DE DATOS DE LA CINTA La máquinas de Turing pueden dar como salida adicional a los datos de entrada. Justifique su respuesta. Diséñela en un Diagrama de Moore. Identifique una cadena que no sea válida y justifíquela porque. Identifique una cadena que no sea válida y justifíquela porque. 2. 3. se duplique: Ejemplo: para la cadena (aa) la salida será (aaaa). Ejecute el RunTest a una cadena aceptada que tenga la menos cinco símbolos 6. Recorra la máquina con al menos una cadena válida explicando lo sucedido tanto en la cinta como en la secuencia de entrada. TERCER EJERCICIO: DISEÑO DE UNA MT QUE ACEPTE CADENAS CON LA CINTA VACIA La máquinas de Turing pueden reconocer cadenas llegando a un estado de aceptación o de parada “halt” aun cuando la cinta no se haya desocupado o aún tenga caracteres. Y que al final del recorrido de la cadena aceptada. lo que queda en la cinta luego de recorrer y aceptar una cadena. Identifique los componentes de la Máquina de Turing (descríbala). Tecnología e Ingeniería Curso: Autómatas y lenguajes Formales.?.UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD Escuela de Ciencias Básicas. 5. Si es el caso. los diseños de MT reconocedoras de lenguajes con cinta vacía al final de cada cadena aceptada pueden ser de gran utilidad y poderío computacional. Dependiendo los fines con que se construya la máquina y el tipo de información a tratar. la cinta quede vacía solo con los caracteres “blanco”. Ing. Identifique en que momento la máquina se detiene. El alfabeto de la cinta debe ser diferente al alfabeto de entrada 1. Recorra la máquina con al menos una cadena válida explicando lo sucedido tanto en la cinta como en la secuencia de entrada. Identifique en que momento la máquina se detiene. pueden comportarse como un mecanismo computacional para transformar y calcular funciones. Además resuelva ¿En dónde se escribe lo procesado o función o la salida? 4. transformarlas. Identifique una cadena que no sea válida y justifíquela porque. . determinar de acuerdo a la salida el comportamiento de las entradas. (es decir compruebe la función con una cadena válida explicando lo encontrado). Ejecute el RunTest a una cadena de entrada aceptada que tenga la menos cinco símbolos 6. CUARTO EJERCICIO: MT QUE SE COMPORTA COMO COMPUTADORA DE FUNCIONES La máquinas de Turing además de poder procesar entradas. (Msc). . Identifique en que momento la máquina se detiene. Identifique una cadena que no sea válida y justifíquela porque. Visualice las salidas para tres cadenas con su respectiva salida de función (es decir mostrará seis cadenas ordenadas) cadenas válidas en el simulador JFLAP . 5. Un ejemplo de una función computacional es: siempre que n y m ≥1 cnamb → cmanbnxm produce Cadenas válidas para el ejemplo (función anterior) cunado n = 2 y m = 3 sería: ccaaab → cccaabbbbbb Actividades a desarrollar: La siguiente Máquina de Turing hace que se comporte como calculadora computacional de una función específica: 1. de aceptar lenguajes y de ser transductores entre otras características. Ejecute el RunTest a una cadena aceptada que tenga la menos cinco símbolos 6. Identifique la función(escríbala) 2. Tecnología e Ingeniería Curso: Autómatas y lenguajes Formales. 5. 3. Identifique los componentes de la Máquina de Turing (descríbala). 301405. Ing. Carlos Alberto Amaya Tarazona 4.UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD Escuela de Ciencias Básicas. 7. El plagio tiene una calificación de 0 en la actividad. obtendrá una nota de 0 en esta actividad. llamado: “Desarrollo y envío del trabajo del momento tres”. Tecnología e Ingeniería Curso: Autómatas y lenguajes Formales. El estudiante que no participe en el foro de trabajo colaborativo durante el período establecido en la agenda del curso. para aclarar dudas e inquietudes que se presenten en el proceso. Carlos Alberto Amaya Tarazona Consideraciones generales: No se calificará el informe que no sea montado en el espacio indicado. en el entorno de aprendizaje colaborativo. foro del trabajo colaborativo). por parte del director(a). enunciados o mensajes que solo digan o expresen intenciones de trabajar. cada vez que lo requiera. la clave es la planificación. según lo indicado en la agenda del curso. (Msc). 301405. foro general. Recomendaciones Leer cuidadosamente las indicaciones registradas en los foros (noticias del curso. · El tamaño del archivo no debe superar 2Mb. Ing. para el adecuado desarrollo de los diferentes momentos diseñados. · El archivo debe subirse en el espacio dentro del foro momento cuatro. Recuerde que el Foro es el espacio adecuado para construir y desarrollar el trabajo de forma colaborativa.UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD Escuela de Ciencias Básicas. Avanzar con el desarrollo de las actividades solicitadas en cada uno de los momentos de acuerdo a las fechas registradas en la agenda. lo importante es lo que se hace con él” . No se aceptan como aportes o insumos. “Lo importante no es el tiempo. Consultar con su tutor(a). antes de la fecha de cierre. organización y compromiso del equipo de trabajo.