Curso: Autmatas y lenguajes Formales. 301405. Ing. (Msc). Carlos Alberto Amaya Tarazona
GUA INTEGRADORA DE ACTIVIDADES Autmatas y lenguajes Formales_ 301405
Temticas revisadas: Exploracin de las referencias requeridas y referencias complementarias de cada una de las unidades que conforma el curso.
Unidad 1: Lenguajes Regulares.
- Introduccin e Historia - Alfabetos, cadenas y lenguajes - Autmatas y lenguajes - Lenguajes Regulares - Autmata - Definicin formal de autmatas finitos - Autmatas finitos determinsticos (AFD) - Autmatas finitos No determinsticos (AFND) - Autmatas finitos con transiciones
- Lenguaje aceptado por un autmata finito
- Lenguajes regulares y Expresiones Regulares - Significado de la Expresiones Regulares - Autmatas finitos y Expresiones Regulares - Equivalencia de AFD y de AFND - Minimizacin de autmatas
Unidad 2: Lenguajes Independientes del contexto
- Gramticas Regulares - Lenguajes libres de contexto y sus mquinas - Arboles de derivacin - Trasformacin de las GLC y Formas Normales - Limitaciones de los LLC - Definicin de Autmata con Pila - Funcionamiento de un PDA - Diseo de un PDA - Funciones que se aplican sobre los stacks (Pilas) - Combinacin modular de los Autmatas con Pila - Lenguaje aceptado por un PDA - Relacin entre los AP y los LLC - Propiedades de clausura de los LLC - Algoritmos de decisin para los LLC - Problemas indecidibles para los LLC
Unidad 3: Lenguajes estructurados pro frases.
- Formalizacin de las Mquinas de Turing (MT) - Funcionamiento de las MT - Diferencias entre un computador y una MT - La Mquina Universal de Turing (MUT) - Lenguajes aceptados por la MT - Tesis de Church/Turing - Variantes de una MT - Problemas de Hilbert - Problemas Insolubles para la Teora de Lenguajes - Lenguajes Decidibles - Problemas de Halting
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD Escuela de Ciencias Bsicas, Tecnologa e Ingeniera Curso: Autmatas y lenguajes Formales. 301405. Ing. (Msc). Carlos Alberto Amaya Tarazona
- Decibilidad de teoras lgicas - Reducibilidad de Turing - Algoritmo de Trellis - Algoritmo de Viterbi
Estrategia de aprendizaje: Estrategia de aprendizaje basado en basado en problemas. Entre las ventajas que tiene la estrategia en proyectos es que le permite a los estudiantes desarrollar habilidades y competencias como la colaboracin, planeacin de proyectos comunicacin toma de decisiones y manejo del tiempo, entre otras.
Sntesis de las actividades:
Las actividades de la estrategia basada en problemas se desarrollan en 4 momentos: MOMENTO 1: (actividades Iniciales): Reconocimiento del curso. MOMENTO 2: (actividades intermedias): planeacin. MOMENTO 3: (actividades finales): recoleccin y anlisis de la informacin y el planteamiento de estrategias de solucin.
Durante el desarrollo de la estrategia, el estudiante tendr la oportunidad de realizar actividades individuales, interactuar en el foro colaborativo para debatir con los compaeros del equipo de trabajo, los temas a resolver en forma grupal, en los diferentes momentos utilizados para la estrategia. Con referencia a las actividades grupales o colaborativas que lleven a resolver el problema de estudio, el hecho que no haya intervencin o participacin por los integrantes del curso, no exime de la responsabilidad y desarrollo de la actividad ya sea individual por parte del integrante. Recuerde que en primera instancia, cada uno es responsable de su formacin acadmica con sentido profesional. Y por el contenido de la temtica, es necesario que cada estudiante aborde toda la temtica de manera jerrquica y ordenada.
Momentos de la estrategia: La estrategia basada en problemas del curso Autmatas y Lenguajes Formales est distribuida en 4 momentos que se ilustran en la siguiente tabla.
Momentos de la estrategia Actividad Momento uno:
Semana 1,2,3,4 (del 05 de agosto al 02 de septiembre) (actividades Iniciales): Reconocimiento del curso
Reconocimiento de cada uno de los entornos virtuales que conforma el curso, la estructura del aula y las actividades. (de forma individual realizar una presentacin con diapositivas, donde consolide el tipo de actividades a presentar y las caractersticas del aula. (Hasta la semana 2, es decir hasta el 19 de agosto). Ver y escuchar la presentacin del curso ubicado en el entorno de informacin inicial. El estudiante identifica cuidadosamente las actividades a realizar y la rbrica de evaluacin del momento uno.
Revisar todo el material en video que lo contextualiza en la temtica (documentales, pelcula, historia de Alan Turing). Material disponible en el aula
De forma individual el estudiante se evaluar mediante una leccin sobre el contenido temtico, historia y aspectos que lo ubican en la temtica del aula. Actividad dispuesta (Hasta la semana 2, es decir hasta el 19 de agosto).
Los estudiantes del grupo estudian la temtica de la unidad uno e interpreta su contenido. Ellos se apropian de los contenidos, conceptualizando, definiendo e interpretando el concepto de autmata y sus tuplas, lenguajes y expresiones regulares. Basado en unos problemas planteados con una estrategia de trabajo grupal, los integrantes presentan la solucin a problemas bsicos de autmatas con diseos sencillos. (Hasta el 2 de septiembre).
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD Escuela de Ciencias Bsicas, Tecnologa e Ingeniera Curso: Autmatas y lenguajes Formales. 301405. Ing. (Msc). Carlos Alberto Amaya Tarazona
Momento dos: (actividades intermedias): planeacin
Semanas 3,4,5,6,7 (del 20 de agosto al 28 de septiembre)
Planeacin de ejercicios bsicos solucin de problemas. El estudiante caracteriza la temtica de la unidad dos e interpreta su contenido.
El estudiante se apropia de la temtica, conceptualiza, define e interpreta el concepto de gramticas regulares, pilas (PDA).
Preparacin grupal: Cada participante del grupo estudia la temtica, lee cuidadosamente la gua de actividades y rbrica de evaluacin del momento dos, enva los aportes correspondientes. Estudian el problema plateado, plantean y formulan la solucin de manera consolidada.
Debate grupal: Los integrantes del grupo analizan, discuten los aportes enviados, y deciden sobre la organizacin, estructura y envo del trabajo. El grupo entrega el producto solicitado en el foro para el desarrollo del momento dos en el entorno de aprendizaje colaborativo. (Hasta el 15 de septiembre).
Evaluacin Individual: mediante un quiz se evalan conceptos que refuerzan los desarrollos de cada problema planteado en las anteriores fases. (Hasta el 28 de septiembre) Momento tres: (actividades finales): recoleccin y anlisis de la informacin y el planteamiento de estrategias de solucin.
Semanas 8,9,10,11,12, 13,14,15,16 (del 29 de septiembre al 23 de noviembre) Recoleccin y anlisis de la informacin El estudiante identifica la temtica de la unidad tres, e interpreta su contenido.
El estudiante realiza la evaluacin de la unidad tres, con el instrumento planeado (quiz) para ello, en el entorno de evaluacin y seguimiento. (Hasta la semana 10, es decir hasta el 12 de octubre).
Preparacin Grupal: Cada participante del grupo estudia la temtica, (problemas planteados) lee cuidadosamente la gua de actividades y rbrica de evaluacin del momento tres, enva los aportes correspondientes.
Debate grupal: Los integrantes del grupo analizan, discuten los aportes enviados, y deciden sobre la organizacin, estructura y envo del trabajo.
El grupo entrega el producto solicitado en el foro para el desarrollo del momento tres en el entorno de aprendizaje colaborativo. (Hasta la semana 16, es decir hasta el 23 de noviembre). Momento cuatro: Actividad final, Solucin a los problemas
Semanas 17,18 (del 24 de noviembre al 08 de diciembre) Planteamiento de estrategias de solucin. Preparacin individual: Cada integrante del grupo lee cuidadosamente la gua de actividades y rbrica de evaluacin del momento cuatro; enva los aportes correspondientes.
Debate grupal: Los integrantes del grupo, analizan, discuten los aportes enviados, y deciden sobre la organizacin, estructura y envo del trabajo.
El grupo entrega el producto solicitado en el foro para el desarrollo del momento cuatro en el entorno de aprendizaje colaborativo. (Hasta la semana 18, es decir hasta el 8 de diciembre). Cada estudiante presenta la sustentacin del proyecto final, segn las indicaciones. (Hasta la semana 18, es decir hasta el 8 de diciembre).
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD Escuela de Ciencias Bsicas, Tecnologa e Ingeniera Curso: Autmatas y lenguajes Formales. 301405. Ing. (Msc). Carlos Alberto Amaya Tarazona
Desarrollo de la estrategia
Actividades a realizar en el momento uno
Recursos para el momento uno (contextualizacin de forma individual) (RECONOCIMIENTO) Momento Unidades Referencias requeridas Uno: Reconocimiento (actividades Iniciales): Reconocimien to del curso
Para ello vamos a abordar los siguientes conceptos: (propios del aula)
El objetivo de esta actividad es que el estudiante se contextualice en el entorno de aprendizaje. Identifique el tipo de temtica, las caractersticas del curso y la estructura del aula. Debe reconocer que tipo de actividades sern abordadas y la forma de presentarlas. DESCRIPCIN DEL MATERIAL CANAL / MEDIO Aula 301405 disponible en entorno AVA. Navegacin por cada tpico y acceso a cada recurso. Exploracin de actividades. Campus virtual. Aula 301405. Recorrido del aula y de cada tpico
Semanas 1 y 2 (hasta agosto 19)
Producto entregar: El producto es un una presentacin en power point o en cualquier programa que permita hacer presentaciones (pase de diapositivas); que se debe ubicar o subir en la actividad Actividad reconocimiento del aula Ubicado en el entorno de evaluacin seguimiento
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD Escuela de Ciencias Bsicas, Tecnologa e Ingeniera Curso: Autmatas y lenguajes Formales. 301405. Ing. (Msc). Carlos Alberto Amaya Tarazona
Actividad a desarrollar de reconocimiento: De manera individual el estudiante realiza una presentacin en power point con las siguientes siete (07) diapositivas:
1. Presentacin del estudiante: Nombre, Apellidos, grupo a que pertenece, tutor asignado en el aula, nombre del director del curso, CEAD al que pertenece el estudiate, Programa acadmico que cusa.
2. Caractersticas del curso: Cdigo, nmero de crditos, tipo de curso (terico, prctico o metodolgico), Habilitable o no, Opcin del 100 % o no, Nombre del director y del tutor de su grupo.
3. Caractersticas de las estrategias de aprendizaje (Es por proyectos, por problemas, por casos). Identificacin de los momentos (nombres) y las fechas que abarca esos momentos).
4. Una descripcin del tipo de temtica que aborda AUTOMATAS Y LENGUAJES FORMALES
5. Una tabla con la caracterizacin de cada actividad as:
Momento Nombre Tipo de actividad (descripcin corta y concreta de que se trata) Fecha de inicio / fecha de cierre Fechas de retroalimenta cin Sitio en el aula donde se entrega la actividad (si es quiz o leccin, en el nombre del tpico donde se presenta) Peso evaluativo Tipo de desarrollo (si es individual o colaborativo)
6. Relacionar que tipo de material y de bibliografa dispone el curso.
7. Consolidado de las recomendaciones que emite el director del aula para poder abordar y tener xito en el curso. (las encuentra en el foro de novedades)
Se creara un foro Reconocimiento del aula y de actividades en el entorno de aprendizaje colaborativo para que formulen sus inquietudes nicamente (NO PARA SUBIR APORTES)
DOCUMENTO A ENTREGAR: Se debe entregar un archive comprimido (.rar) (con la presentacin en power point) que contenga el siguiente nombre: Como ejemplo, si el estudiante se llama Carlos Alberto Amaya Tarazona y pertenece al grupo 44, entonces el archivo a enviar es: 44_rec1_301405.rar
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD Escuela de Ciencias Bsicas, Tecnologa e Ingeniera Curso: Autmatas y lenguajes Formales. 301405. Ing. (Msc). Carlos Alberto Amaya Tarazona
Recursos para el momento uno (contextualizacin de forma individual) (RECONOCIMIENTO) Momento Unidades Referencias requeridas Uno: Reconocimiento (actividades Iniciales): Reconocimien to del curso
Para ello vamos a abordar los siguientes conceptos:
Introduccin Histrica Diferentes Modelos de Computacin Autmatas y Lenguajes Lenguajes y Gramticas. Aspectos de su traduccin Alfabetos y Palabras Lenguajes Gramticas Generativas Jerarqua de Chomsky
El objetivo de esta actividad es la de facilitar la apropiacin de conocimientos para que el estudiante pueda adquirir los conceptos bsicos de la teora de los lenguajes formales y la relacin que existe con la teora de autmatas. Reconocer que tipo de temtica ser la tratada
DESCRIPCIN DE VIDEO
CANAL
Tras las huellas de la mente de Alan Turing. La polmica historia de esta brillante mente. Un reto complejo para quienes quieran entender y seguir sus pasos. "Un genio trgico". Solo escchenla y quedarn sorprendidos del legado que Alan Turing ha dejado. Historia de Alan Turing. (23 de Junio de 1912 - 7 de Junio de 1954). Matemtico ingls. Historia contada al estilo de Diana Uribe. (Historiadora Colombiana a quin admiro y le expreso mi ms sentido agradecimiento por contarnos todas las historias que han marcado el rumbo de la humanidad). Le reconozco sus derechos intelectuales por esta narracin que comparto a quienes me siguen en este reto de comprender como funcionan las mquinas computacionales. http://youtu.be/tO- WgRXKcAo Cuntame una historia. Alan Turing http://youtu.be/01LBHqKrVv g Charla El legado de Alan Turing http://youtu.be/nSZZRzj6zPI Pelcula que cuenta la historia de un genio controvertido "Alan Turing". Con subttulos en espaol. http://youtu.be/uoKLtu2Am6 k DANGEROUS KNOWLEDGE. Conocimientos peligrosos. El documental, narrado por David Malone, se centra en la vida de cuatro brillantes matemticos - Georg Cantor, Ludwig Boltzmann, Kurt Gdel y Alan Turing -, lo que rode sus descubrimientos y las reacciones de la comunidad cientfica hacia ellos, as como la evolucin de sus personas hasta el declive. Sus trabajos han llegado a influir enormemente incluso en mbitos no cientficos, o en la perspectiva de como observamos el mundo en general y nuestro pequeo entorno en particularmente. Desafortunadamente sus mentes privilegiadas no pudieron impedir que llegaran a enloquecer hasta el punto de cometer suicidio. O consulta esta URL: http://www.mates.byethost4.com/audiovisuales/matematicas/documentales- bbc.html PARTE 1: CANAL VIMEO http://vimeo.com/30482156 PARTE 2: CANAL VIMEO http://vimeo.com/30641992 Secretos de la segunda guerra mundial. El cdigo Eigma. El trabajo de los criptgrafos. http://youtu.be/EVQNosg6w EQ
Semanas 1 y 2 (hasta agosto 19)
1. Ver y escuchar la presentacin del curso, que se encuentra en el entorno informacin inicial. 2. Cada estudiante lee cuidadosamente las actividades a realizar y rbrica de evaluacin del momento uno. 3. Cada estudiante debe ingresar y ver los materiales en video (documental, pelcula y recuento histrico). 4. De manera individual, contestar una evaluacin de Reconocimiento que lo contextualiza y ubica en la temtica. Esta actividad la encuentra en el entorno de evaluacin y seguimiento.
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD Escuela de Ciencias Bsicas, Tecnologa e Ingeniera Curso: Autmatas y lenguajes Formales. 301405. Ing. (Msc). Carlos Alberto Amaya Tarazona
Recursos para el momento uno (desarrollo de problemas de forma grupal) Momento Unidades Referencias requeridas Momento uno: Actividades iniciales: Reconocimiento Y caracterizacin de problemas asociados a Autmatas UNIDAD UNO: Para ello vamos a abordar los siguientes conceptos:
Autmatas y Lenguajes Lenguajes y Gramticas. Aspectos de su traduccin Alfabetos y Palabras Lenguajes Gramticas Generativas Jerarqua de Chomsky
El objetivo de esta actividad es que mediante la formulacin de problemas bsicos en diseo de autmatas, los estudiantes identifiquen los componentes de estas mquinas abstractas y el diseo de las mismas.
DESCRIPCIN DEL MATERIAL ACADMICO.
CANAL / RECURSO
AMAYA, C, Autmatas y Leguajes Formales, 2014. Cuarta entrega. 188 p. Duitama. 2014. Recurso disponible en : (formato pdf) http://datateca.unad.edu.co/co ntenidos/301405/2014- 2_AVA/AUTOMATAS_Y_LENGU AJES_FORMALES.pdf AMAYA, C, Descripcin de lenguaje, alfabeto y ER, .Duitama. 2014. Recurso disponible en : (formato video) http://www.veoh.com/watch/v 616083236Thn5HJn AMAYA, C, Construccin, diseo e interpretacin de los componentes de un autmata (tuplas), 2014. .Duitama. 2014. Recurso disponible en : (formato video). http://youtu.be/HF9-e28TWb0 AMAYA, C, Construccin y diseo de autmatas, Diagramas de Moore, tablas de transicin., .Duitama. 2014. Recurso disponible en: (formato video). http://youtu.be/3kWdHOLw- AQ AMAYA, C, Lenguaje aceptado por un Autmata. Tablas de transicin y descripcin de autmata finito., .Duitama. 2014. Recurso disponible en: (formato video). http://youtu.be/eWUfPJD9A_0 AMAYA, C, Cadenas o palabras que acepta un autmata., .Duitama. 2014. Recurso disponible en: (formato video). http://youtu.be/ASg_ZUXgvZk AMAYA, C, Autmatas y Leguajes Formales, 2014. Cuarta entrega. 188 p. Duitama. 2014. Recurso disponible en : (formato pdf). Ejercicios 1 25 (p g 156 168) Disponible en: http://datateca.unad.edu.co/contenidos/301405/2014-2_AVA/AUTOMATAS_Y_LENGUAJES_FORMALES.pdf AMAYA, C, Expresin Regular (ER) que representa el lenguaje que puede aceptar un autmata., .Duitama. 2014. Recurso disponible en: (formato video). http://youtu.be/z7vmzu9078Y AMAYA, C, : Identificacin quntupla de un autmata. Tablas de transicin. Recorrido de una cadena vlida. Leguaje aceptado pro un autmata. Gramtica., .Duitama. 2014. Recurso disponible en: (formato video). http://www.veoh.com/watch/v 61603854nW9bZSZW AMAYA, C, :Gramticas, Arboles de derivacin. Expresiones Regulares, .Duitama. 2014. Recurso disponible en: (formato video). http://youtu.be/LThVITEsLiA AMAYA, C, Minimizacin de autmatas, .Duitama. 2014. Recurso disponible en: (formato video). http://youtu.be/Sto4KosrUX8 AMAYA, C, Minimizacin de autmatas (uso de simuladores). JFLAP., .Duitama. 2014. Recurso disponible en: (formato video). http://youtu.be/d0-Nkk3Y1DU
Semanas 1, 2, 3 y 4 (hasta septiembre 02)
1. Identificar el material disponible (mdulo versin 4 de 2014-2) 2. Ver y escuchar cada uno de los materiales en video que se referencian y a que adems al final de cada seccin en el mdulo se identifican. Es un proceso jerrquico y ordenado. Como sugerencia se indica no avanzar en temticas que no se hayan entendido o apropiado. 3. Cada estudiante lee cuidadosamente las actividades a realizar y rbrica de evaluacin del momento uno. 4. Al final del material didctico, hay formulados ejercicios para cada tema, muy similares a los problemas propuestos, estos estn desarrollados, puede apoyarse en ellos para reforzar y comprender la temtica.
Producto del momento uno: 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 (Portable data File).
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD Escuela de Ciencias Bsicas, Tecnologa e Ingeniera Curso: Autmatas y lenguajes Formales. 301405. Ing. (Msc). Carlos Alberto Amaya Tarazona
NOTA IMPORTANTE. Para los ejercicios propuestos de esta actividad, (que son dos) se deben realizar o recrear en alguno de los dos simuladores: Los grficos y anlisis 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 frmulas, caracteres o expresiones regulares, entre otros que sean copiadas como imagen (Incluso las imgenes propias de esta gua). Se debe usar un editor de frmulas para plasmarlas. Los grficos deben ser generados por simuladores o si los realiza en un editor de grficos manualmente, tambin son aceptados.
El Visual Autmata Simulator (vas) y/o el JFLAP. En las siguientes direcciones de Internet podrn 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.
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 44, entonces el archivo a enviar es: 44_mom1_301405.rar EL ESPACIO ASIGNADO PARA QUE CARGUE O ENTREGUE LE ACTIVIDAD ES EN EL ENTORNO DE EVALUACION Y SEGUIMIENTO y se llama Actividad momento 1 Es de desarrollo grupal
El archivo comprimido contendr los siguientes elementos:
UN DOCUMENTO EN PDF: que contiene: Formato de presentacin del Documento: El documento debe contener los siguientes puntos PORTADA: Datos de los Estudiantes (nombre, nmero de matrcula, e-mail, Zona, Cead, Grupo que presenta la actividad). Datos del tutor. Descripcin general del trabajo. Desarrollo de cada uno de los puntos enunciados a continuacin.
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD Escuela de Ciencias Bsicas, Tecnologa e Ingeniera Curso: Autmatas y lenguajes Formales. 301405. Ing. (Msc). Carlos Alberto Amaya Tarazona
No se est solicitando introduccin, objetivos, bibliografa. Lo importante de esta actividad es estar concentrados en el desarrollo del ejercicio como estrategia de Problemas. Estos no son considerados como aportes ni deben ir plasmados en el trabajo.
LOS ARCHIVOS GENERADOS POR EL SIMULADOR EN UNA CARPETA: Si es JFLAP (los de extensin jff) y si es con archivos de VAS (los de extensin .fa)
Problemas a desarrollar:
Dada la siguiente tabla de transicin:
1. Exprese el autmata en notacin matemtica (Tome como referencia, ejemplo 24 pgina 43 del mdulo). Identifique que tipo de autmata es (AFD o AFND) y justifique su respuesta. (No se trata de dar el concepto de determinismo) 2. Identifique los elementos (tupla que es) (Asociadas con los elementos del autmata del ejercicio propuesto). Debe explicar y describir cada elemento y la funcin y significado en el autmata. Conceptos y definiciones adicionales. 3. Identifique el lenguaje que genera. (no se trata de explicarlo o formularlo en notacin de una ER) 4. Muestre en el simulador (grficamente) como recorre una cadena vlida. Explique cada secuencia. (No se trata solo de captura las imgenes, estas deben ser explicadas en pi de pgina o de lo contrario no tienen validez) 5. Muestre el diagrama de Moore generado en JFLAP y en VAS y comente cinco similitudes y cinco diferencias que encuentra al realizarlo en los dos simuladores. (herramientas que ofrezca uno u otro). Para la siguiente expresin regular (ER) realice: (0*1)*+(01)*+(11*00*+01)
6. Identifique el lenguaje que representa: (tenga en cuenta como se plasma o identifica un lenguaje aceptado: mdulo pgina 48 leccin 10) 7. Genere tres cadenas vlidas y dos no vlidas 8. Plasme tres cadenas vlidas para cada ER en una tabla (identificando jerarqua de operadores regulares, identificando colores). Para ello apyese en el video: http://youtu.be/JZPAHHA2PnE (minuto 14 al 33). O en el video http://youtu.be/wGTxhnPXcw4
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD Escuela de Ciencias Bsicas, Tecnologa e Ingeniera Curso: Autmatas y lenguajes Formales. 301405. Ing. (Msc). Carlos Alberto Amaya Tarazona
9. Identifique en la misma tabla tres cadenas no aceptadas y justifique o expicque segn la jerarqua y funcin de los operadores de ER en qu parte se trunca la jerarqua y orden de los operadores. 10. De la tabla de transicin dada y del autmata asociado a esa tabla, genere la ER (no desde el simulador JFLAP), genrela de forma manual y explique cada sentencia asociada al autmata o diagrama de moore.
Se creara un foro Desarrollo Momento 1 en el entorno de aprendizaje colaborativo para que formulen sus inquietudes y hagan sus aportes (No para subir el trabajo).
Actividades a realizar en el momento dos
Recursos para el momento uno (desarrollo de problemas de forma grupal) Momento Unidades Referencias requeridas Uno: Planeacin (Diseo de AF y AP) organizacin con el grupo de trabajo UNIDAD 2 El objetivo de esta actividad es que mediante la formulacin de problemas bsicos en diseo de autmatas, (planeacin y diseo de manera concreta y especfica) los estudiantes identifiquen los componentes de Autmatas de Pila y Gramticas Regulares.
DESCRIPCIN DEL MATERIAL ACADMICO.
CANAL / RECURSO AMAYA, C, Autmatas y Leguajes Formales, 2014. Cuarta entrega. 188 p. Duitama. 2014. Recurso disponible en : (formato pdf) http://datateca.unad.edu.co/co ntenidos/301405/2014- 2_AVA/AUTOMATAS_Y_LENGU AJES_FORMALES.pdf AMAYA, C, Autmatas y Gramticas, representacin y descripcin., .Duitama. 2014. Recurso disponible en : (formato video) http://youtu.be/FcsxGEFF5RI AMAYA, C, Configuracin, descripcin. Componentes de un PDA. Parte 1 de 3, 2014. .Duitama. 2014. Recurso disponible en : (formato video). http://youtu.be/q5G0WnL5JUA AMAYA, C, Configuracin, descripcin. Componentes de un PDA. Parte 2 de 3, 2014. .Duitama. 2014. Recurso disponible en : (formato video). http://youtu.be/yfXfKKZZl1g AMAYA, C, Configuracin, descripcin. Componentes de un PDA. Parte 3 de 3, 2014. .Duitama. 2014. Recurso disponible en : (formato video). http://youtu.be/1YdZpLloFb8 AMAYA, C, Autmatas y Leguajes Formales, 2014. Cuarta entrega. 188 p. Duitama. 2014. Recurso disponible en : (formato pdf). Ejercicios 26 38 (p g 168 174) Disponible en: http://datateca.unad.edu.co/contenidos/301405/2014-2_AVA/AUTOMATAS_Y_LENGUAJES_FORMALES.pdf AMAYA, C, Expresin Regular (ER) que representa el lenguaje que puede aceptar un autmata., .Duitama. 2014. Recurso disponible en: (formato video). http://youtu.be/z7vmzu9078Y AMAYA, C, : Identificacin quntupla de un autmata. Tablas de transicin. Recorrido de una cadena vlida. Leguaje aceptado pro un autmata. Gramtica., .Duitama. 2014. Recurso disponible en: (formato video). http://www.veoh.com/watch/v 61603854nW9bZSZW AMAYA, C, : Gramticas, Arboles de derivacin. Expresiones Regulares, .Duitama. 2014. Recurso disponible en: (formato video). http://youtu.be/LThVITEsLiA AMAYA, C, Minimizacin de autmatas, .Duitama. 2014. Recurso disponible en: (formato video). http://youtu.be/Sto4KosrUX8 AMAYA, C, Minimizacin de autmatas (uso de simuladores). JFLAP., .Duitama. 2014. Recurso disponible en: (formato video). http://youtu.be/d0-Nkk3Y1DU
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD Escuela de Ciencias Bsicas, Tecnologa e Ingeniera Curso: Autmatas y lenguajes Formales. 301405. Ing. (Msc). Carlos Alberto Amaya Tarazona
Semanas 3, 4 y 5 (hasta 15 de septiembre)
1. Identificar el material disponible (mdulo versin 4 de 2014-2) 2. Ver y escuchar cada uno de los materiales en video que se referencian y a que adems al final de cada seccin en el mdulo se identifican. Es un proceso jerrquico y ordenado. Como sugerencia se indica no avanzar en temticas que no se hayan entendido o apropiado. 3. Cada estudiante lee cuidadosamente las actividades a realizar y rbrica de evaluacin del momento dos. 4. Al final del material didctico, hay formulados ejercicios para cada tema, muy similares a los problemas propuestos, estos estn desarrollados, puede apoyarse en ellos para reforzar y comprender la temtica.
Producto del momento dos: 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 (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 grficos y anlisis 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 frmulas, caracteres o expresiones regulares, entre otros que sean copiadas como imagen (Incluso las imgenes propias de esta gua). Se debe usar un editor de frmulas para plasmarlas. Los grficos deben ser generados por simuladores o si los realiza en un editor de grficos manualmente, tambin son aceptados.
El Visual Autmata Simulator (vas) y/o el JFLAP. En las siguientes direcciones de Internet podrn 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.
DOCUMENTO A ENTREGAR: Se debe entregar un archive comprimido (.rar) que contenga el siguiente nombre: Como ejemplo, si el estudiante se llama Carlos Alberto Amaya Tarazona y pertenece al grupo 44, entonces el archivo a enviar es: 44_mom2_301405.rar EL ESPACIO ASIGNADO PARA QUE CARGUE O ENTREGUE LE ACTIVIDAD ES EN EL ENTORNO DE EVALUACION Y SEGUIMIENTO y se llama Actividad momento 2 Es de desarrollo grupal
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD Escuela de Ciencias Bsicas, Tecnologa e Ingeniera Curso: Autmatas y lenguajes Formales. 301405. Ing. (Msc). Carlos Alberto Amaya Tarazona
El archivo comprimido contendr los siguientes elementos:
UN DOCUMENTO EN PDF: que contiene: Formato de presentacin del Documento: El documento debe contener los siguientes puntos PORTADA: Datos de los Estudiantes (nombre, nmero de matrcula, e-mail, Zona, Cead, Grupo que presenta la actividad). Datos del tutor. Descripcin general del trabajo. Desarrollo de cada uno de los puntos enunciados a continuacin.
No se est solicitando introduccin, objetivos, bibliografa. Lo importante de esta actividad es estar concentrados en el desarrollo del ejercicio como estrategia de Problemas. Estos no son considerados como aportes ni deben ir plasmados en el trabajo.
LOS ARCHIVOS GENERADOS POR EL SIMULADOR EN UNA CARPETA: Si es JFLAP (los de extensin jff) y si es con archivos de VAS (los de extensin .fa)
Problemas a desarrollar:
PARTE 1: Calcular el autmata mnimo correspondiente al siguiente autmata finito.
1. Enuncie el autmata en notacin matemtica e identifique que tipo de autmata es. 2. Identifique los componentes del autmata (que tipo de tupla es) 3. Identifique la tabla de transicin correspondiente 4. Identifique el lenguaje que reconoce (no en notacin de ER) y enuncie cinco posibles cadenas vlidas que terminen en el estado halt y cinco cadenas no vlidas 5. Encuentre la expresin regular vlida. (se genera de forma manual, asociando cada operador y sentencia al diagrama de moore de forma explicativa). No se genera con el JFLAP 6. Encuentre su gramtica que sea vlida para la funcin de transicin (describa sus componentes y como se escriben matemticamente). Justifquela si la convierte a la Izquierda o a la derecha. Plsmela en el simulador y recrela. (Debe quedar documentado en el texto el paso a paso que realizan en el simulador) 7. Realice el rbol de Derivacin de esa gramtica.
ACTIVIDADES PARA EL EJERCICIO A MINIMIZAR:
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD Escuela de Ciencias Bsicas, Tecnologa e Ingeniera Curso: Autmatas y lenguajes Formales. 301405. Ing. (Msc). Carlos Alberto Amaya Tarazona
1. Realice el proceso de minimizacin. Identificando estados equivalentes (comprubelos). 2. Que transiciones se reemplazan o resultan equivalentes. Realice la tabla de estados distinguibles 3. Escribir la funcin de transicin del nuevo autmata. 4. Identificar la expresin regular (explicarla en la lectura matemtica que se le debe hacer asociada al diagrama de moore de forma manual). 5. Luego de minimizado, compruebe las mismas cadenas vlidas y no vlidas iniciales. 6. Identificar el lenguaje que reconoce (no con notacin de ER) 7. Identificar su gramtica. Demustrela para una cadena vlida del autmata. 8. Compare la gramtica con el autmata antes de minimizar (ya sea por la izquierda o derecha). 9. El autmatas nuevo expresarlo o graficarlo con su respectivo diagrama de Moore. 10. Identificar sus tablas de Transicin (plasmarlas) 11. Plasmar los pasos de minimizacin en el simulador (comprelos con el proceso manual que est explicando) y capturar los procesos en imgenes para ser documentadas en el texto.
PARTE 2: Disee un APD que acepte cadenas de este tipo: {(aabc) (aaaaaabc) (aaabcc) (aaabc) (aaaabcc)} Encuentre en primera instancia una regla que evales estas cadenas y que cumpla las condiciones de las mismas.
1. Describa el autmata en notacin matemtica, identificando el tipo de cadenas que reconoce de forma generalizada ( es decir su lenguaje). 2. 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). 3. Plasme las imgenes y capturas en el documento. (Documente el proceso) 4. Muestre el diagrama correspondiente de estados. 5. Identifique los contenidos (el recorrido para cada interaccin) de la pila y el estado de parada. Realcelo con una cadena vlida.
Se creara un foro Desarrollo Momento 2 en el entorno de aprendizaje colaborativo para que formulen sus inquietudes y hagan sus aportes (No para subir el trabajo).
Recursos para el momento dos (contextualizacin de forma individual) (QUIZ 1) Momento Unidades Referencias requeridas Dos: Conceptualizaci n de los problemas planteados Unidades 1 y 2 El objetivo de esta actividad es la de facilitar la apropiacin de conocimientos tericos y conceptuales de los AF y los AP (con sus respectivos lenguajes, ER y gramticas)
DESCRIPCIN DEL MATERIAL ACADMICO.
CANAL o RECURSO
AMAYA, C, Autmatas y Leguajes Formales, 2014. Cuarta entrega. 188 p. Duitama. 2014. Recurso disponible en : (formato pdf) http://datateca.unad.edu.co/ contenidos/301405/2014- 2_AVA/AUTOMATAS_Y_LEN GUAJES_FORMALES.pdf
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD Escuela de Ciencias Bsicas, Tecnologa e Ingeniera Curso: Autmatas y lenguajes Formales. 301405. Ing. (Msc). Carlos Alberto Amaya Tarazona
Semanas 5,6 y 7 (hasta septiembre 28)
1. La clave de esta actividad, est en que el estudiando haya abordado las actividades de momento 1 y la actividad inicial de momento 2. 2. El haber desarrollado los problemas propuestos en los anteriores momentos, le garantiza un buen desarrollo conceptual en esta actividad. 3. Cada estudiante realiza la lectura de los contenidos del mdulo (Unidad 1 y 2). Asocia conceptos a los anteriores problemas formulados y los refuerza identificando componentes de los autmatas, caracterizacin y diseo de mquinas simuladoras que reconozcan lenguajes. 4. De manera individual, contestar un quiz que lo contextualiza y ubica en la temtica. Esta actividad la encuentra en el entorno de evaluacin y seguimiento.
Actividades a realizar en el momento tres
Recursos para el momento uno (desarrollo de problemas de forma grupal) Momento Unidades Referencias requeridas Tres: Anlisis de datos. Diseo (solucin de un problema con MT). UNIDAD 3 El objetivo de esta actividad es que mediante la formulacin de problemas bsicos en diseo de autmatas, los estudiantes identifiquen los componentes de una Mquina de Turing (MT). Asocie ejemplos a escenarios reales usando mquinas de estados, (algoritmos para codificacin y decodificacin).
DESCRIPCIN DEL MATERIAL ACADMICO.
CANAL / RECURSO AMAYA, C, Autmatas y Leguajes Formales, 2014. Cuarta entrega. 188 p. Duitama. 2014. Recurso disponible en : (formato pdf) http://datateca.unad.edu.co/co ntenidos/301405/2014- 2_AVA/AUTOMATAS_Y_LENGU AJES_FORMALES.pdf AMAYA, C, Construccin de Mquinas de Turing (MT). Parte 1 de 2., Duitama. 2014. Recurso disponible en : (formato video) http://youtu.be/Sg3Q2Qm3IL0 AMAYA, C, Construccin de Mquinas de Turing (MT). Parte 2 de 2., Duitama. 2014. Recurso disponible en : (formato video) http://youtu.be/lb7h724tlFg AMAYA, C, Autmatas y Leguajes Formales, 2014. Cuarta entrega. 188 p. Duitama. 2014. Recurso disponible en : (formato pdf). Ejercicio 46 (p g 180) Disponible en: http://datateca.unad.edu.co/contenidos/301405/2014-2_AVA/AUTOMATAS_Y_LENGUAJES_FORMALES.pdf
Semanas 9,10,11,12,13, 14,15,16 (hasta el 23 de noviembre)
1. Identificar el material disponible (mdulo versin 4 de 2014-2) 2. Ver y escuchar cada uno de los materiales en video que se referencian y a que adems al final de cada seccin en el mdulo se identifican. Es un proceso jerrquico y ordenado. Como sugerencia se indica no avanzar en temticas que no se hayan entendido o apropiado. 3. Cada estudiante lee cuidadosamente las actividades a realizar y rbrica de evaluacin del momento dos. 4. Al final del material didctico, hay formulados ejercicios para cada tema, muy similares a los problemas propuestos, estos estn desarrollados, puede apoyarse en ellos para reforzar y comprender la temtica.
Producto del momento tres: 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 (Portable data File).
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD Escuela de Ciencias Bsicas, Tecnologa e Ingeniera Curso: Autmatas y lenguajes Formales. 301405. Ing. (Msc). Carlos Alberto Amaya Tarazona
NOTA IMPORTANTE. Para los ejercicios propuestos de esta actividad, (que son dos) se deben realizar o recrear en alguno de los dos simuladores: Los grficos y anlisis 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 frmulas, caracteres o expresiones regulares, entre otros que sean copiadas como imagen (Incluso las imgenes propias de esta gua). Se debe usar un editor de frmulas para plasmarlas. Los grficos deben ser generados por simuladores o si los realiza en un editor de grficos manualmente, tambin son aceptados.
El JFLAP. En las siguientes direcciones de Internet podrn 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 estudiante se llama Carlos Alberto Amaya Tarazona y pertenece al grupo 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 Actividad momento 3 Es de desarrollo grupal
El archivo comprimido contendr los siguientes elementos:
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD Escuela de Ciencias Bsicas, Tecnologa e Ingeniera Curso: Autmatas y lenguajes Formales. 301405. Ing. (Msc). Carlos Alberto Amaya Tarazona
UN DOCUMENTO EN PDF: que contiene: Formato de presentacin del Documento: El documento debe contener los siguientes puntos PORTADA: Datos de los Estudiantes (nombre, nmero de matrcula, e-mail, Zona, Cead, Grupo que presenta la actividad). Datos del tutor. Descripcin general del trabajo. Desarrollo de cada uno de los puntos enunciados a continuacin.
No se est solicitando introduccin, objetivos, bibliografa. Lo importante de esta actividad es estar concentrados en el desarrollo del ejercicio como estrategia de Problemas. Estos no son considerados como aportes ni deben ir plasmados en el trabajo.
LOS ARCHIVOS GENERADOS POR EL SIMULADOR EN UNA CARPETA: Generados en JFLAP (los de extensin jff).
Problemas a desarrollar:
Disee una MT que comporte como un transductor, es decir que genera una salida en la cinta: El comportamiento de la mquina debe permitir que dada una palabra de entrada (en formato binario), esta sea sustituida en la salda pro smbolos intercambiados (Es decir, que sustituya los 0s por 1s y los 1s por 0s).
1. Identifique los componentes de la Mquina de Turing (descrbala). 2. Que significa el comportamiento de una mquina de Turing como transductor. Asocie lo que interprete con el diseo que realiza (evale si es transductor o no y por qu) 3. Disela en un Diagrama de Moore. 4. Recorra la mquina con al menos una cadena vlida explicando lo sucedido tanto en la cinta como en la secuencia de entrada. 5. Identifique una cadena que no sea vlida y justifquela porque. (recorriendo cinta y datos de entrada) 6. Ejecute el RunTest a la cadena aceptada (mustrela en la captura de imagen que le genera JFLAP asociada a cada transicin para el trabajo). El RunTest iplica identificar cada iteraccin en la que se muestre el carcter ledo, e contenido de la cinta, lo que falta por leer. 7. Identifique en que momento la mquina se detiene. 8. Visualice las salidas (como transductor) para 5 cadenas vlidas en el simulador JFLAP 9. Identifique si el diseo de la Mquina de Turing obedece a un complemento a 1 de un nmero binario. Justifique su respuesta y documntela. (tenga en cuenta citas y referencias de autores). No se limite a copiar definiciones.
Se creara un foro Desarrollo Momento 3 en el entorno de aprendizaje colaborativo para que formulen sus inquietudes y hagan sus aportes (No para subir el trabajo).
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD Escuela de Ciencias Bsicas, Tecnologa e Ingeniera Curso: Autmatas y lenguajes Formales. 301405. Ing. (Msc). Carlos Alberto Amaya Tarazona
Recursos para el momento dos (contextualizacin de forma individual) (QUIZ 2) Momento Unidades Referencias requeridas Tres: Anlisis de datos. Diseo (solucin de un problema con MT). Aplicaciones de la teora de autmatas a problemas reales Unidad 3 El objetivo de esta actividad es la de facilitar la apropiacin de conocimientos tericos y conceptuales de las T, Funciones recursivas, aplicabilidad de Autmatas con cdigos convolucionales y mquinas de estados.
DESCRIPCIN DEL MATERIAL ACADMICO.
CANAL o RECURSO
AMAYA, C, Autmatas y Leguajes Formales, 2014. Cuarta entrega. 188 p. Duitama. 2014. Recurso disponible en : (formato pdf) http://datateca.unad.edu.co/ contenidos/301405/2014- 2_AVA/AUTOMATAS_Y_LEN GUAJES_FORMALES.pdf
Semanas 8,9,10 (hasta el 12 de octubre)
1. La clave de esta actividad, est en que el estudiando haya abordado las actividades de momento 1 de momento 2. 2. El haber desarrollado los problemas propuestos en los anteriores momentos, le garantiza un buen desarrollo conceptual en esta actividad.. 3. De manera individual, contestar un quiz que lo contextualiza y ubica en la temtica. Esta actividad la encuentra en el entorno de evaluacin y seguimiento.
Actividades a realizar en el momento cuatro (ACTIVIDAD FINAL DE 125 PUNTOS)
Recursos para el momento uno (desarrollo de problemas de forma grupal) Momento Unidades Referencias requeridas Cuatro: Aplicaciones de autmatas y mquinas de estados. Consolidacin del problema (solucin) . UNIDAD 3 El objetivo de esta actividad que el estudiante mediante un problema aplicado a la Teora de la Informacin /(deteccin y correccin de errores) usando cdigos convolucionales y mquinas de estados, solucione u problema de correccin de datos. Aplique los conceptos y premisas de los problemas formulados anteriormente en los momentos 1,2 y 3 DESCRIPCIN DEL MATERIAL ACADMICO. CANAL / RECURSO AMAYA, C, Autmatas y Leguajes Formales, 2014. Cuarta entrega. 188 p. Duitama. 2014. Recurso disponible en : (formato pdf) http://datateca.unad.edu.co/co ntenidos/301405/2014- 2_AVA/AUTOMATAS_Y_LENGU AJES_FORMALES.pdf AMAYA, C, Cdigo convolucional de m=3 , K=1, Duitama. 2014. Recurso disponible en : (formato video) http://youtu.be/ZnCbur8zQiU AMAYA, C, Decodificacin de viterbi., Duitama. 2014. Recurso disponible en : (formato video) http://youtu.be/eWkTdnDtiKo AMAYA, C, Autmatas y Leguajes Formales, 2014. Cuarta entrega. 188 p. Duitama. 2014. Recurso disponible en : (formato pdf). Ejercicio 48. (pg 181) (Decodificacin a partir de datos errados) Disponible en: http://datateca.unad.edu.co/contenidos/301405/2014-2_AVA/AUTOMATAS_Y_LENGUAJES_FORMALES.pdf
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD Escuela de Ciencias Bsicas, Tecnologa e Ingeniera Curso: Autmatas y lenguajes Formales. 301405. Ing. (Msc). Carlos Alberto Amaya Tarazona
Semanas 15,16,17,18 (hasta el 8 de diciembre)
1. Identificar el material disponible (mdulo versin 4 de 2014-2) 2. Ver y escuchar cada uno de los materiales en video que se referencian y a que adems al final de cada seccin en el mdulo se identifican. Es un proceso jerrquico y ordenado. Como sugerencia se indica no avanzar en temticas que no se hayan entendido o apropiado. 3. Cada estudiante lee cuidadosamente las actividades a realizar y rbrica de evaluacin del momento dos. 4. Al final del material didctico, hay formulados ejercicios para cada tema, muy similares a los problemas propuestos, estos estn desarrollados, puede apoyarse en ellos para reforzar y comprender la temtica.
Producto del momento cuatro: 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 (Portable data File).
Tenga en cuenta que no se aceptan frmulas, caracteres o grafos, entre otros que sean copiadas como imagen (Incluso las imgenes propias de esta gua). Se debe usar un editor de frmulas para plasmarlas. Los grficos deben ser generados por algn editor de imgenes o dibujos.
DOCUMENTO A ENTREGAR: Se debe entregar un archive comprimido (.rar) que contenga el siguiente nombre: Como ejemplo, si el estudiante se llama Carlos Alberto Amaya Tarazona y pertenece al grupo 44, entonces el archivo a enviar es: 44_mom4_301405.rar EL ESPACIO ASIGNADO PARA QUE CARGUE O ENTREGUE LE ACTIVIDAD ES EN EL ENTORNO DE EVALUACION Y SEGUIMIENTO Actividad momento 4 Es de desarrollo grupal
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD Escuela de Ciencias Bsicas, Tecnologa e Ingeniera Curso: Autmatas y lenguajes Formales. 301405. Ing. (Msc). Carlos Alberto Amaya Tarazona
El archivo comprimido contendr los siguientes elementos:
UN DOCUMENTO EN PDF: que contiene: Formato de presentacin del Documento: El documento debe contener los siguientes puntos PORTADA: Datos de los Estudiantes (nombre, nmero de matrcula, e-mail, Zona, Cead, Grupo que presenta la actividad). Datos del tutor. Descripcin general del trabajo. Desarrollo de cada uno de los puntos enunciados a continuacin.
No se est solicitando introduccin, objetivos, bibliografa. Lo importante de esta actividad es estar concentrados en el desarrollo del ejercicio como estrategia de Problemas. Estos no son considerados como aportes ni deben ir plasmados en el trabajo.
Problemas a desarrollar:
Tomando como referencia la aplicabilidad de las mquinas de estados, la Teora de la Informacin trata una de las tcnicas de deteccin y correccin de errores, por los teoremas de Trellis y Viterbi con cdigos convolucionales para canales con ruido.
Se obtiene el sguete dato codificado: (Como se muestra en la tabla), con errores en el par de bits codificados 2, 4 y 7 con distancia de haming 1.
1. Determine cul fue el dato de entrada. (Complete la tabla) 2. Determine los estados presentes: (represente la mquina de estados) del cdigo convolucional para k=1 , m= 3, n=2 para cada estado, Es decir, represente la transicin de entrada para cada bit (ocho en total) con el codificador convolucional. Estos estados presentes debe completarlos tambin en la tabla. 3. Determine las salidas codificadas: (Complete la tabla). 4. Realice el diagraman de rbol PARA EL DATO DE ENTRADA. 5. Realice el diagrama de estados PARA EL DATO DE ENTRADA. 6. Realice el diagrama de Trellis con la ruta correcta. 7. Realice el diagrama de Trellis y Viterbi corrigiendo el dato (ruta correcta). Para ello debe mostrar la ruta correcta identificando las distancias de haming y la seleccin dada para seguir la ruta. Utilice colores que diferencien las distancias de haming, los datos codificados y las rutas seleccionadas.
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD Escuela de Ciencias Bsicas, Tecnologa e Ingeniera Curso: Autmatas y lenguajes Formales. 301405. Ing. (Msc). Carlos Alberto Amaya Tarazona
Se creara un foro Desarrollo Momento 4 en el entorno de aprendizaje colaborativo para que formulen sus inquietudes y hagan sus aportes (No para subir el trabajo).
Consideraciones generales:
No se calificar el informe que no sea montado en el espacio indicado.
El archivo debe colgarse en el espacio dentro del foro momento cuatro, en el entorno de aprendizaje colaborativo, llamado: Desarrollo y envo del trabajo del momento cuatro, antes de la fecha de cierre, segn lo indicado en la agenda del curso.
El tamao del archivo no debe superar 2Mb.
Recuerde que el Foro es el espacio adecuado para construir y desarrollar el trabajo de forma colaborativa, la clave es la planificacin, organizacin y compromiso del equipo de trabajo.
El estudiante que no participe en el foro de trabajo colaborativo durante el perodo establecido en la agenda del curso, obtendr una nota de 0 en esta actividad. No se aceptan como aportes o insumos, enunciados o mensajes que solo digan o expresen intenciones de trabajar.
El plagio tiene una calificacin de 0 en la actividad.
RESUMEN DE LOS PRODUCTOS A REALIZAR EN CADA UNO DE LOS MOMENTOS
Momentos Productos a realizar Puntos Puntos Totales por fases o momentos Momento uno Reconocimiento 10 100 Evaluacin de reconocimiento de la temtica 25 Reconocimiento Y caracterizacin de problemas asociados a Autmatas (actividad colaborativa 1) 65 Momento dos Planeacin (Diseo de AF y AP) organizacin con el grupo de trabajo (actividad colaborativa 2) 75 150 Quiz 1 75 Momento tres : Anlisis de datos. Diseo (solucin de un problema con MT). (actividad colaborativa 3) 75
125 Quiz 2 50 Momento cuatro Trabajo proyecto final: Aplicaciones de autmatas y mquinas de estados. Consolidacin del problema (solucin). 125 125 Total de puntos del curso 500
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD Escuela de Ciencias Bsicas, Tecnologa e Ingeniera Curso: Autmatas y lenguajes Formales. 301405. Ing. (Msc). Carlos Alberto Amaya Tarazona
Recomendaciones
Leer cuidadosamente las indicaciones registradas en los foros (noticias del curso, foro general, foro del trabajo colaborativo), por parte del director(a), para el adecuado desarrollo de los diferentes momentos diseados. Consultar con su tutor(a), cada vez que lo requiera, para aclarar dudas e inquietudes que se presenten en el proceso. 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 no es el tiempo, lo importante es lo que se hace con l