encuadre lenguajes formales y teoría de autómatas

21
Lenguajes Formales y Teoría de Autómatas Septiembre 2012 - Febrero 2013 Edison Leonardo Coronel Romero Luis Antonio Chamba Eras Docentes - Investigadores CIS-UNL

Upload: luis-chamba-eras

Post on 20-Dec-2014

1.585 views

Category:

Education


7 download

DESCRIPTION

Transparencias del encuadre de Lenguajes Formales y Teoría de Autómatas del periodo académico Septiembre 2012 - Febrero 2013

TRANSCRIPT

Page 1: Encuadre Lenguajes Formales y Teoría de Autómatas

Lenguajes Formales y Teoría de Autómatas

Septiembre 2012 - Febrero 2013Edison Leonardo Coronel Romero

Luis Antonio Chamba ErasDocentes - Investigadores CIS-UNL

Page 2: Encuadre Lenguajes Formales y Teoría de Autómatas

Datos informativos

• Código: 1102.15• Créditos: 4, 2T y 2P• Horas: 128, 64A y 64TA• Horario: Lunes a Viernes, 07:30 - 09:30• Fecha inicio: 18/09/12 • Fecha finalización: 05/11/12• Fechas importantes: E2=31/10/12,

E4=31/10/12, E5=31/10/12 y EF=05/11/12• Puntaje minimo: 7/10

Page 3: Encuadre Lenguajes Formales y Teoría de Autómatas

Datos informativos

• Requisitos previos: Estructura de Datos, Programación Avanzada, Matemáticas Discretas

• Conocimientos en: Lógica e Inducción Matemática, Teoría de Conjuntos y Grafos, Árboles, Algoritmos

Page 4: Encuadre Lenguajes Formales y Teoría de Autómatas

Bibliografía

• Básica: Teoría de Autómatas, lenguajes y computación. John E. Hopcroft and at

• Complementaria: Dean Kelley, otros autores • OCW• Recursos Educativos Abiertos• Base de Datos Científicas• Artículos Científicos y Tesis Doctorales• Real Academia de la Lengua

Page 5: Encuadre Lenguajes Formales y Teoría de Autómatas

Objetivos Educacionales

• Describir los conceptos teóricos y matemáticos que fundamentan los LFTA

• Explicar los modelos matemáticos utilizados en la definición de autómatas, lenguajes, expresiones y gramáticas regulares

• Reconocer las características de funcionamiento de los AL y su aplicación en CC

• Diseñar e implementar autómatas, lenguajes, expresiones y gramáticas regulares utilizando software computacional

Page 6: Encuadre Lenguajes Formales y Teoría de Autómatas

Objetivos Educacionales

• Comparar el funcionamiento de AFD y AFND• Ejecutar destrezas para el diseño e

implementación de AL• Debatir en grupos colaborativos las soluciones

a problemas de la vida real utilizando autómatas, lenguajes, expresiones y gramáticas regulares

• Comunicar de forma efectiva, tanto por escrito como oral, conocimientos, procedimientos, resultados e ideas relacionadas con las TIC y concretamente de CC

Page 7: Encuadre Lenguajes Formales y Teoría de Autómatas

Actividades Teóricas

• Capítulo 1: Introducción a los autómatas• Capítulo 2: Autómatas Finitos• Capítulo 3: Lenguajes y Expresiones Regulares• Capítulo 4: Lenguajes y Gramáticas IC• Capítulo 5: Analizador Léxico

Page 8: Encuadre Lenguajes Formales y Teoría de Autómatas

Actividades Prácticas

• Laboratorios por cada capítulo• Talleres• Analizador Léxico• Actividades colaborativas, foros EVA• Entornos Personales de Aprendizaje

Page 9: Encuadre Lenguajes Formales y Teoría de Autómatas

Actividades Trabajo Autónomo

• Reforzar contenido teórico y práctico• Lectura de bibliografía complementaria• Ejecución de tareas extraclases• Perfeccionamiento destrezas y habilidades del

perfil profesional• Mejorar formación autodidacta• Ritmo de trabajo• Individual y Grupo

Page 10: Encuadre Lenguajes Formales y Teoría de Autómatas

Actividades Evaluación

• Lecciones escritas y orales• Ensayos• Reportes y Manuales Técnicos• Foros de discusión• Examenes• Informes Laboratorios• Participación en clases• Trabajos Optativos Libres (no acreditables)

Page 11: Encuadre Lenguajes Formales y Teoría de Autómatas

Parámetros a evaluar

• Trabajos Originales• Referencias Bibliográficas, 5 como mínimo• Derechos de autor• Herramientas Computacionales• Redacción Técnica • Puntualidad • Estándares de archivos• Estilo IEEE

Page 12: Encuadre Lenguajes Formales y Teoría de Autómatas

Actividades Estudiantiles

• Planificar y ejecutar una actividad académica relacionada a la unidad

• Participación activa en seminarios y talleres• Potenciar las destrezas en manejo de software

computacional• Colaborar en proyectos institucionales como

pasantias• Ayudantia de Cátedra en el módulo o

inferiores• Crear clubes de estudio

Page 13: Encuadre Lenguajes Formales y Teoría de Autómatas

Semanas 1

• Sesiones de 110 min, T y P• Capítulo 1• 18 al 26 septiembre 2012• 13 horas académicas y 13 TA• Trabajo en el EVA, actividades no presenciales

Page 14: Encuadre Lenguajes Formales y Teoría de Autómatas

Semanas 2

• Sesiones de 110 min, T y P• Capítulo 2• 26 septiembre al 4 octubre 2012• 13 horas académicas y 13 TA• Trabajo en el EVA, actividades no presenciales• E2 = 4 octubre 2012

Page 15: Encuadre Lenguajes Formales y Teoría de Autómatas

Semanas 3

• Sesiones de 110 min, T y P• Capítulo 3• 5 al 15 octubre 2012• 13 horas académicas y 13 TA• Trabajo en el EVA, actividades no presenciales

Page 16: Encuadre Lenguajes Formales y Teoría de Autómatas

Semanas 4

• Sesiones de 110 min, T y P• Capítulo 4• 16 al 24 octubre 2012• 13 horas académicas y 13 TA• Trabajo en el EVA, actividades no presenciales• E4 = 23 octubre 2012

Page 17: Encuadre Lenguajes Formales y Teoría de Autómatas

Semanas 5

• Sesiones de 110 min, T y P• Capítulo 5• 24 al 31 octubre 2012• 12 horas académicas y 12 TA• Trabajo en el EVA, actividades no presenciales• E5 = 31 octubre 2012• EF = 5 noviembre 2012

Page 18: Encuadre Lenguajes Formales y Teoría de Autómatas

Formas Evaluación• Continua, acumulativa• Promedio superior al 60% de E2, E4 y E5 =>EF• Exámenes = 7/7• Lecciones = 0.5/0.5• Tareas = 0.5/0.5• Informes = 0.5/0.5• Participación = 0.5/0.5• TA = 1/1• Nota final = (E+L+T+I+P+TA)/10

Page 19: Encuadre Lenguajes Formales y Teoría de Autómatas

Metodología de enseñanza y Trabajo

• Clases Teóricas• Clases Prácticas: guiadas y no guiadas• Estudio de casos• Grupos de estudio• Visita de expertos• ME: "I do, we do, you do"• Actas de satisfacción: encuadre y exámenes

Page 20: Encuadre Lenguajes Formales y Teoría de Autómatas

Recursos

• Herramientas computacionales• Entorno Virtual de Aprendizaje• Correo Institucional• Base de Datos Científicas• Entornos Personales de Aprendizaje• Grupos en Google• Portal Web de la Carrera• Red Social en g+

Page 21: Encuadre Lenguajes Formales y Teoría de Autómatas

Contactos

• Edison Leonardo Coronel Romero: [email protected] ; Twitter @edisoncor

• Luis Antonio Chamba Eras: [email protected] ; Twitter @lachamba