1.

INTRODUCCIN Esta unidad busca introducir al estudiante con los fundamentos tericos matemticos y conceptos que fundamentan los lenguajes de programacin. El estudiante debe adquirir la base terica necesaria y requerida para que pueda llevar la unidad avanzado de compiladores. Se busca, adems, definir los modelos matemticos asociados a la representacin de los diferentes tipos de lenguajes para luego implementar estos conceptos en lenguajes de programacin. Es de primordial importancia que pueda reconocer cualquier tipo de gramtica, pero sobre todo, pueda manejar y disear gramticas para lenguajes regulares y para lenguajes libres de contexto, adems, de los modelos matemticos que las resuelven. Se busca que el estudiante tenga mucha prctica en el diseo de gramticas para representar lenguajes y que adquiera la habilidad de disearlas sin problema. Adquiriendo conceptos y los pueda relacionar a los aspectos tcnicos y prcticos conociendo su aplicacin en lenguajes reales conocidos. El estudiante debe aprender la teora que esta atrs de los diferentes componentes de un compilador, las tcnicas de programacin usadas para poner esta teora en prctica, Al finalizar el curso el estudiante estar en la capacidad de poder recibir un curso avanzado de compiladores. 2. OBJETIVOS GENERAL: Proporcionar al estudiante los conceptos tericos y matemticos necesarios que fundamentan los lenguajes de programacin y el diseo de lenguajes y compiladores.

ESPECFICOS: Al final del curso el estudiante deber: Definir cualquier lenguaje formal Reconocer las caractersticas que identifican a cualquier tipo de gramtica. Manejar la terminologa de los lenguajes y compiladores. Conocer el modelo matemtico que resuelve cada tipo de gramtica. Disear gramticas que representen lenguajes especficos Conocer el funcionamiento de un analizador lxico y su implementacin Conocer e implementar maquinas de estado finito Disear e implementar gramticas libres de contexto 2

Conocer los conceptos que fundamentan el anlisis sintctico Aplicar los modelos matemticos que resuelven cualquier gramtica Capacidad de trabajo individual y en grupo. Capacidad de obtencin de informacin y aplicacin de la misma a la resolucin de problemas.

3. COMPETENCIAS INSTRUMENTALES HABILIDADES COGNOSCITIVAS: Conocer los fundamentos, realizar la aplicacin e implementacin informtica y analizar los lmites de aplicabilidad de los Lenguajes Formales y Teora de Autmatas en el contexto de la Ingeniera. DESTREZAS TECNOLGICAS: Utilizacin de equipos informticos. Uso de redes. Bsqueda bibliogrfica de informacin. Gestin del conocimiento grupal. DESTREZAS COMUNICATIVAS: Capacidad de presentacin oral y escrita de informes y estudios. 4. COMPETENCIAS INTERPERSONALES Capacidad analtica Capacidad sinttica Capacidad crtica Capacidad de direccin de equipos Capacidad de colaboracin

5. COMPETENCIAS SISTMICAS Capacidad de tratamiento de problemas complejos como suma de problemas de menor complejidad

6. COMPETENCIAS ESPECFICAS HABILIDADES

Manejo de aplicaciones informticas Expresin oral y escrita. 3

Bsqueda de informacin bibliogrfica impresa y a travs de la red. Tcnicas de trabajo cooperativo. Desarrollo de proyectos.

ACTITUDES

Rigor cientfico Cooperacin en el desarrollo de proyectos en grupo Espritu autodidacta.

7. DURACIN: 14 de septiembre al 28 de octubre del 2009, 64 HORAS

UNIVERSIDAD NACIONAL DE LOJA REA DE ENERGA, INDUSTRIAS Y RECURSOS NATURALES NO RENOVABLES CARRERA DE INGENIERA EN SISTEMAS MATRIZ DE DESARROLLO DEL MODULO MODULO: IX UNIDAD: Lenguajes Formales y Teora de Autmatas DURACIN: 64 HORAS DOCENTE: Ing. Luis Antonio Chamba Eras
ESTRATEGIAS METODOLGICAS Clase Magistral PRODUCTOS ACREDITABLES TIEMPO

PERIODO: SEPTIEMBRE 2009 FEBRERO 2010

TEMAS DE ESTUDIO

CONTENIDOS DE APOYO

CAPITULO 0. Encuadre (Clase 1) CAPITULO 1. Introduccin a la Teora de Autmatas y Lenguajes Formales(Clases 2 a 6)

0.1 Presentacin de la Unidad

2h (14 sep) Individuales Lecciones Participacin en clase Trabajos extractase Grupales Trabajos en clase Informes Charlas Individuales Lecciones Participacin en clase Trabajos extractase

1.1 Introduccin. 1.2 Fundamentos matemticos 1.3 Lenguajes de Programacin y Paradigmas del Lenguaje 1.4Procesadores de Lenguaje

Encuadre Conferencias Magistrales Plenarias Foros de discusiones Lecturas Exposiciones Consultas Prctica 1 de Lenguajes Encuadre Conferencias Magistrales Plenarias Foros de discusiones Lecturas

10h (15-sep al 21-sep)

CAPITULO 2. Autmatas Finitos (Clases 7 a 11)

2.1 Introduccin y motivacin.

10h (22-sep al 28-sep)

Exposiciones Consultas

CAPITULO 3. Expresiones regulares y lenguajes regulares (Clases 12 a 21)

3.1 Introduccin y Motivacin

Encuadre Conferencias Magistrales Plenarias Foros de discusiones Lecturas Exposiciones Consultas

CAPITULO 4. Anlisis lxico (Clases 22 a 28)

4.1 Introduccin y Motivacin.

Encuadre Conferencias Magistrales Plenarias Foros de discusiones Lecturas Exposiciones Consultas Encuadre Conferencias Magistrales Plenarias Foros de discusiones Lecturas Exposiciones Consultas

CAPITULO 5. Autmatas de pila (Clases 29 a 33)

5.1 Introduccin y Motivacin.

Grupales Trabajos en clase Informes Charlas Individuales Lecciones Participacin en clase Trabajos extractase Grupales Trabajos en clase Informes Charlas Individuales Lecciones Participacin en clase Trabajos extractase Grupales Trabajos en clase Informes Individuales Lecciones Participacin en clase Trabajos extractase Grupales Trabajos en clase Informes

10h(29-sep al 05-oct)

10h(06-oct al 12-oct)

10h(13-oct al 19-oct)

CAPITULO 6. Gramticas independientes de contexto (Clases 34 a 38)

6.1 Introduccin y Motivacin

Encuadre Conferencias Magistrales Plenarias Foros de discusiones Lecturas Exposiciones Consultas

CAPITULO 7. Mquinas de Turing (Clases 39 a 43)

7.1 Introduccin.

Encuadre Conferencias Magistrales Plenarias Foros de discusiones Lecturas Exposiciones Consultas

Charlas Individuales Lecciones Participacin en clase Trabajos extractase Grupales Trabajos en clase Informes Charlas Individuales Lecciones Participacin en clase Trabajos extractase Grupales Trabajos en clase Informes Charlas

10h(20-oct al 26-oct)

4h(27-oct al 28-oct)

8. MATERIAL DOCENTE

Presentaciones sobre el desarrollo en clase de los temas de la asignatura. Apuntes, recogiendo lo explicado en clase e incluyendo ampliaciones sobre la materia presentada, de distintos temas de la asignatura.

Colecciones de ejercicios propuestos a los estudiantes. Colecciones de ejercicios resueltos. Entorno Virtual de Aprendizaje. (www.eqaula.org)

9. METODOLOGA DOCENTE El docente dedicar como mximo la mitad de las horas previstas para cada tema a realizar una introduccin al mismo. El resto de las horas se dedicarn a la realizacin de ejercicios, seminarios, talleres, etc. El unidad se desarrollar intercalando clases magistrales para la exposicin de conceptos nuevos y clases participativas, en las que se asume que el estudiante realiza las lecturas, tareas o ejercicios dejados para realizar fuera de clase, previo al inicio de un nuevo da de clase. 10. EVALUACIN La evaluacin es un proceso cualitativo permanente, sistemtico y coherente de la tarea implcita, misma que es netamente responsabilidad del docente, expresada a travs de observacin participante del proceso, relacin del par didctico docente - estudiante y anlisis de situaciones grupales, entendida como reencuadrar actitudes frente al aprendizaje. Trabajo obligatorio: Los estudiantes en grupos reducidos (tres cuatro personas) realizarn a lo largo de la unidad un trabajo obligatorio que abarcar la mayor parte de los aspectos tratados durante la unidad. Exmenes continuos: Los estudiantes debern realizar un examen continuo al final de cada tema, por estos exmenes los estudiantes podrn alcanzar una puntuacin de 7 puntos Ejercicios propuestos: Al finalizar cada semana se propondrn a los equipos de estudiantes diferentes ejercicios propuestos relativos a la materia estudiada en esa semana. El docente sealar en el momento de la entrega el ejercicio o ejercicios que deben serle entregados resueltos la siguiente semana. 8 un alto al proceso, a propsito de

Calificacin final: La nota final ser la suma de las notas obtenidas en los tres apartados anteriores. Asistencia a clase: Es obligatoria la asistencia regular a clase. Es necesario contar con un mnimo de 80% de asistencia. 11. ACREDITACIN La acreditacin es un proceso cuantitativo de la tarea explicita, paralelo a la evaluacin, vlido para certificar aprendizajes significativos, mismo que estar referido a los siguientes parmetros: Pruebas cognoscitivas (PC) (70%), Trabajos (T) Participacin (P) TOTAL (20%) (10%). (100%)

La nota final estar compuesta de 10 puntos, distribuidos de la siguiente manera: 3 Evaluaciones de rendimiento (1,5 puntos c/u) (PC) Tareas, trabajos en clase, lecciones, asistencia, otros. (P) Laboratorio (proyectos, prcticas, otros.) (T) Evaluacin Final (PC) Nota Total 4,5 1,0 2,0 2,5 10 puntos

12. BIBLIOGRAFA En cada uno de los temas se indicarn las referencias bibliogrficas que pueden ser consultadas para un seguimiento adecuado de cada tema. No obstante se recogen a continuacin algunas de las referencias ms utilizadas en la preparacin de los distintos temas de la unidad:

David

Castro

Esteban.

TEORA

DE

AUTMATAS,

LENGUAJES

FORMALES Y GRAMTICAS. Universidad de Alcal. 2003-2004. Gloria Martnez, Luis A. Garca. APUNTES DE TEORA DE AUTMATAS Y LENGUAJES FORMALES. 2005. Isabel Navarrete Snchez, Mara Antonia Crdenas Viedma, Daniel Snchez lvarez, Juan Antonio Bota Blaya, Roque Marn Morales, 9

Rodrigo Martnez Bjar.

TEORA DE AUTMATAS Y LENGUAJES

FORMALES. Universidad de Murcia. John E. Hopcroft, Jeffrey D. Ullman. INTRODUCCIN A LA TEORA DE AUTOMATAS, LENGUAJES Y COMPUTACIN. Primera Edicin. 1993. Manuel Alfonseca Moreno, Marina de la Cruz Echeanda, Alfonso Ortega de la Puente, Estrella Pulido Caabate, COMPILADORES E INTERPRETES: teora y prctica, Pearson Prentice Hall, 2006. Ramn Brena. AUTMATAS Y LENGUAJES. Tecnolgico de Monterrey. 2003. (http://homepages.mty.itesm.mx/rbrena/AyL.html)

13. DATOS BSICOS DEL DOCENTE Docente: Ing. Luis Antonio Chamba Eras Correo Electrnico: lachamba@gmail.com Telfono: 093574669 Cuenta Skype: lachamba Cuenta Gmail: lachamba@gmail.com Cuenta Msn: luisantonio151@hotmail.com Cuenta del.icio.us: http://del.icio.us/lachamba Direccin Blog/web: http://lachamba.wordpress.com

14. HORARIOS DE TUTORIA Clases: Cuatro sesiones a la semana Sesiones de 1 hora y cuarenta y cinco minutos de duracin Laboratorio: Una sesin a la semana Sesin de 2 horas de duracin

10