Silabo Teoria de Lenguajes v 3.0 - Formato de Silabo DAICS

7
Universidad Nacional del Santa ING_D.31.1.1 40409 Facultad Ingeniería Departame nto Ingeniería Civil y Sistemas SILABO DE TEORIA DE LENGUAJES Y COMPILADORES I. Datos Generales 1. Facultad Ingeniería 2. Escuela Académico Profesional Ingeniería de Sistemas e Informática 3. Semestre académico 2014-1 4. Ciclo de estudios V 5. Nivel de exigencia académica Obligatorio 6. Pre-requisito 140214 7. Código del Curso 140409 8. Créditos Cuatro (4) 9. Extensión horaria por sesión 5 horas. 9.1. Horas teóricas 3 horas 9.2. Horas prácticas 2 horas 10. Duración de la asignatura 17 semanas 10.1. Fecha de inicio 14 de abril del 2014 10.2. Fecha de término 08 de agosto del 2014 11. Docente teoría Mg. Luis Enrique Ramirez Milla. 12. Docente práctica Mg. Luis Enrique Ramirez Milla 13. Tutoría y Consejería 13.1. Lugar Oficina de docentes 2do piso del Pabellón de Sistemas 13.2. Día y hora Miércoles de 11:00 a.m. a 13:00 p.m. II. Marco Referencial TEORIA DE LENGUAJES Y COMPILADORES, es un curso teórico- práctico de carácter obligatorio del área de formación

Transcript of Silabo Teoria de Lenguajes v 3.0 - Formato de Silabo DAICS

Universidad Nacional del SantaING_D.31.1.140409

FacultadIngeniera

DepartamentoIngeniera Civil y Sistemas

SILABO DE TEORIA DE LENGUAJES Y COMPILADORES

I. Datos Generales

1. FacultadIngeniera

2. Escuela Acadmico ProfesionalIngeniera de Sistemas e Informtica

3. Semestre acadmico2014-1

4. Ciclo de estudiosV

5. Nivel de exigencia acadmicaObligatorio

6. Pre-requisito140214

7. Cdigo del Curso140409

8. CrditosCuatro (4)

9. Extensin horaria por sesin5 horas.

9.1. Horas tericas3 horas

9.2. Horas prcticas2 horas

10. Duracin de la asignatura17 semanas

10.1. Fecha de inicio14 de abril del 2014

10.2. Fecha de trmino08 de agosto del 2014

11. Docente teoraMg. Luis Enrique Ramirez Milla.

12. Docente prcticaMg. Luis Enrique Ramirez Milla

13. Tutora y Consejera

13.1. LugarOficina de docentes2do piso del Pabelln de Sistemas

13.2. Da y horaMircoles de 11:00 a.m. a 13:00 p.m.

II. Marco Referencial

TEORIA DE LENGUAJES Y COMPILADORES, es un curso terico-prctico de carcter obligatorio del rea de formacin profesional, que se caracteriza por orientar al alumno en la comprensin y anlisis de la teora relacionada a la taxonoma de los lenguajes de programacin para su aplicacin en la resolucin de problemas de ndole computacional en la que se tengan que desarrollar aplicaciones para el reconocimiento de lenguajes formales.

III. Objetivos

3.1. Objetivo General

El alumno al finalizar el curso desarrollar aplicaciones que le permitan determinar si una sentencia corresponde a la estructura gramatical de un lenguaje de programacin. As mismo estar capacitado para proponer nuevas formas estructurales en la definicin de lenguajes de programacin.

3.2. Objetivos Especficos

a. Desarrollar un analizador lexicogrfico.b. Desarrollar un analizador sintctico.c. Desarrollar un analizador semntico.

IV. Programa Instruccional

UnidadDescripcinSemana(s)

1Analizadores lexicogrficos1 a 6

2Analizadores sintcticos7 a 11

3Analizadores semnticos12 a 16

Exmenes Sustitutorios17

V. Programacin de Contenidos

PRIMERA UNIDAD

Analizadores lexicogrficos

5.1. Duracin6 semanas

5.2. Contenidos

Semana 01: Presentacin y visin global de la asignatura. Introduccin. Evolucin de los lenguajes de programacin. Categoras de los lenguajes. Organizacin de un programa. Notacin gramatical de los lenguajes de programacin. Nociones de compiladores. Notaciones grficas. Prctica de Laboratorio: Revisin estructural de lenguajes de programacin.

Semana 02: Lenguajes y gramticas. Nocin de gramtica. Gramticas de contexto libre. Propiedades de las gramticas. Formas normales.Prctica de Laboratorio: Anlisis gramatical de lenguajes de programacin.

Semana 03: Maquinas reconocedoras y traductoras. Autmatas finitos. Sistemas de traduccin. Traductores finitos.Prctica de Laboratorio: Analisis de un analizador lexicogrfico.

Semana 04: Exploradores. Funcionamiento de un analizador lexicogrfico. Realizacin de un explorador. Scanners y lenguajes de programacinPrctica de Laboratorio: Desarrollo de un analizador lexicogrfico.

Semana 05: Errores lexicogrficos. Deteccin y recuperacin de errores en el anlisis lexicogrfico.Prctica de Laboratorio: Implementacin de un analizador lexicogrfico.

Semana 06: Examen de Primera Unidad. Presentacin de trabajo final de la unidad.

SEGUNDA UNIDAD

Analizadores sintcticos

5.3. Duracin5 semanas

5.4. Contenidos

Semana 07: Generalidades. Tipos de anlisis. Tablas de smbolos. Prctica de Laboratorio: Implementacin de una tabla de smbolos

Semana 08: Anlisis sintctico descendente. Analizadores sintcticos predictivos. Analizadores sintcticos predictivos no recursivos. Prctica de Laboratorio: Anlisis y desarrollo de un analizador sintctico.

Semana 09: Anlisis sintctico ascendente. Anlisis por reduccin-desplazamiento. Precedencias. Prctica de Laboratorio: Anlisis y desarrollo de un analizador sintctico

Semana 10: Errores sintcticos. Deteccin y recuperacin de errores en el anlisis sintctico.Prctica de Laboratorio: Implementacin de un analizador sintctico.

Semana 11: Examen de Segunda Unidad. Presentacin de trabajo final de la unidad.

TERCERA UNIDAD

Analizadores semnticos

5.5. Duracin5 semanas

5.6. Contenidos

Semana 12: Traduccin dirigida por la sintaxis. Atributos. Grafos. Reglas semnticas. Esquemas de traduccin.Prctica de Laboratorio: Revisin de un analizador semntico.

Semana 13: Comprobacin de tipos. Expresiones y su representacin. Comprobacin e inferencia de tipos. Conversin de tipos.Prctica de Laboratorio: Propuesta de un analizador semntico.

Semana 14: Cdigo intermedio. Especificacin y diseo. Generacin de cdigo intermedio. Generacin de cdigo.Prctica de Laboratorio: Desarrollo de un analizador semntico I.

Semana 15: Errores semnticos. Deteccin y recuperacin de errores en el anlisis semntico.Prctica de Laboratorio: Desarrollo de un analizador semntico II.

Semana 16: Examen de Tercera Unidad. Presentacin de trabajo final de la unidad y curso.

Semana 17: Exmenes Sustitutorios

VI. Estrategias de Trabajo

6.1. Del docente

a. Presentacin de los objetivos del Curso. Experiencia vivencial motivadora.b. Orientar al estudiante en el desarrollo de cada unidad del curso.c. Dilogo profesor-alumnos sobre los contenido del tema a tratar.d. Organizacin de los grupos de trabajo.e. Los alumnos elaboraran un proyecto de software que desarrollaran en cada unidad de manera progresiva.

6.2. Del estudiante

a. Ejecutar las acciones establecidas para el desarrollo de cada unidad.b. Consultar oportunamente con el profesor de la asignatura las dificultades en el aprendizajec. Recurrir a las fuentes bibliogrficas a fin de reforzar los conocimientos.d. Participar en todas las actividades de evaluacin.e. Presentacin y Sustentacin de trabajos asignados en cada unidad.

VII. Medios y Materiales Educativos

7.1. Recursos humanos.- profesor responsable del curso y estudiantes de Ingeniera de Sistemas e Informtica matriculados en la asignatura.

7.2. Fsicos.- Aula de clase. Laboratorio de la EAPISI.

7.3. Materiales.- Libro texto. Documentos curriculares. Medios de almacenamiento: papel, folios, memoria USB, disco duro. Computadora. Pizarra (acrlica), tiza (plumones), mota. Sala Docente Portal UNS. Campus Virtual UNS.

VIII. Criterios y Sistema de Evaluacin del Estudiante

De acuerdo con el Reglamento Acadmico vigente, resolucin N135-2012-CU-R-UNS de Marzo del 2012.

8.1. De la asistencia. La asistencia ser obligatoria para las sesiones tanto tericas como prcticas. Caso contrario se aplicar el artculo N 47.

8.2. De las actividades. La evaluacin ser por medio del examen de cada unidad (EU), as como trabajos grupales y/o individuales, exposiciones (PR)

8.3. La inasistencia injustificada a un examen escrito ser calificada con cero (00). Por razones debidamente justificadas en un plazo de 24 horas, presentar una solicitud ante su Director de Escuela, adjuntando los documentos probatorios. Art46.

8.4. De las ponderaciones. Exmenes (EE) tiene peso 2, Prcticas (PR) tienen peso 1 (art44). La nota de prctica se obtendr del promedio aritmtico simple de las tareas acadmicas: Intervenciones orales, prcticas calificadas, seminarios de discusin de trabajos de campo, trabajos de investigacin, exposiciones, resolucin de casos y problemas (art43).

IX. Requisitos de Aprobacin y Promocin

9.1. El sistema de calificacin de la asignatura ser vigesimal, de cero (00) a veinte (20); la nota mnima aprobatoria es once (11). Se utilizar el redondeo para obtener los promedios de unidad y el promedio final considerndose el entero superior a favor del estudiante cuando la fraccin decimal es mayor o igual a 0,5.Para ser aprobado en una asignatura, el alumno debe cumplir con los siguientes requisitos mnimos:a. Obtener un promedio final aprobatorio.b. Tener aprobado ms del 50% de unidades de la asignatura.En caso que el promedio final fuera aprobatorio, pero no cumpliera con el requisito mnimo b), se considerar al alumno como desaprobado asignndole una nota de diez (10). Artculo 40 del reglamento vigente.

9.2. Frmulas para notas de unidad y nota final

9.2.1. La nota de la unidad (NU) se calcular de acuerdo con el promedio aritmtico ponderado siguiente:

( 2 * EU + PR )NU=

3EU: Examen de unidad.PR: Promedio aritmtico de prcticas.

9.2.2. La nota final (NF) se calcular de acuerdo con el promedio aritmtico siguiente:

NU1+NU2+NU3NF=

------------------------- 3Se aplicar el redondeo de acuerdo con el artculo 40 del reglamento acadmico vigente.

X. Referencias Bibliogrficas

10.1. Sanchis Llorca / Galn Pascual. Compiladores. Teora y construccin. Ed. Paraninfo. 1986. Espaa.

10.2. Aho / Sethi / Ullman. Compiladores. Principios, tcnicas y herramientas. Ed. Addison Wesley Iberoamericana. 1990. Espaa.

10.3. Teufel / Schmidt / Teufel. Compiladores. Conceptos fundamentales. Ed. Addison Wesley Iberoamericana. 1995. Mxico.

10.4. Kenneth C. Louden. Construccin de Compiladores. Ed. International Thomson Editores. 2004. Mxico.

10.5. John E. Hopcroft / Rajeev Motwani / Jeffrey D. Ullman. Introduccin a la teora de autmatas, lenguajes y computacin. 3ra. Edicin. Ed. Addison Wesley. 2008. Espaa.

10.6. J. Glenn Brookshear Teora de la computacin. Ed. Addison Wesley Iberoamericana. 1993. EEUU.

ELABORADO POR:REVISADO POR:APROBADO POR:

Mg. Luis Enrique Ramirez Milla

Nuevo Chimbote, Abril del 2014.