UNIVERSIDAD NACIONAL MAYOR DE SAN MARCOS

(Universidad del Per, Decana de Amrica)

FACULTAD DE INGENIERIA DE SISTEMAS E INFORMATICA

Escuela Acadmico Profesional de Ingeniera de Sistemas

SILABO
I.
1.1
1.2
1.3
1.4
1.5
1.6
1.7
1.8

ESPECIFICACIONES GENERALES:
Nombre del curso
Cdigo del curso
Duracin
Forma de dictado
Horas semanales
Naturaleza
Nmeros de crditos
Pre-requisito

1.9 Semestre acadmico

II.

Lenguajes y traductores
205009
Semestral
Terico - Practico
Teora: 2 Practica: 2
Formacin profesional
03
203004 Matemtica Discreta
203001 Algortmica III
2015-I

SUMILLA
Las unidades temticas son:
Lenguajes y Gramticas.
Expresiones regulares y Autmatas finitos.
Lenguajes libres del contexto y autmatas de Pila.
Anlisis Lxico
Anlisis Sintctico
Anlisis semntico
Tabla de smbolos
Generacin de cdigo intermedio
Optimacin de cdigo
Generacin de cdigo
Manejo de errores.

III.
OBJETIVOS
Objetivos Generales:
Proveer conceptos matemticos e informticos que son fundamento terico para el avance de la
ciencia de la computacin, informtica y sistemas. Como materia terica prctica pretende informar
y ejercitar a los estudiantes en las tcnicas y mtodos para definir un lenguaje formal y la
construccin de traductor haciendo uso de software y un entorno en el que se pueda aplicar la
Programacin Orientada a Objetos.

Objetivos Especficos:

IV

Capacitar al alumno en los conocimientos fundamentales para definir un lenguaje

formal.
Capacitar al alumno en los conocimientos fundamentales para la construccin de
Compiladores para traduccin de los Lenguajes de programacin de alto nivel
Exponer y discutir las caractersticas de diseo, fundamentos tericos, y los algoritmos
que se utilizan en cada componente as como las herramientas avanzadas de desarrollo de
compiladores dando nfasis en las reas de Teora de Lenguajes, Lenguajes de
Programacin y Algoritmos

CONTENIDO PROGRAMATICO
Aspectos Formales

1ra Semana:
1/5

Lenguajes y gramticas Formales: alfabeto, lenguajes, smbolos terminales y no terminales.

Jerarqua de lenguajes, Clasificacin de Chomsky. Forma Normal de Backus ( BNF).
Pre requisito: es necesario repasar los conceptos estudiados en el curso de Matemticas
Discretas: Lenguajes formales, gramticas formales.
Bibliografa
[TEUFEL 1995] Cp. 1
[GRASSMANN 1997] Cp. 10
[KOLMAN 1989] Cp. 10
Arquitectura bsica de un compilador 2 da Semana:
Lenguajes de programacin. Compiladores : clases y estructura bsica Diseo del compilador:
descripcin de las fases, anlisis lexicogrfico (scanner) Anlisis Sintctico (parser), Anlisis
Semntico, Generacin de cdigo intermedio, generacin de cdigo objeto, tratamiento y
recuperacin de errores, administracin de la tabla de smbolos
Bibliografa
[AHO 1990] Cp. 1, 2
[PRATT 1998] Cp. 1, 2 y 3
[TEUFEL 1995] Cp. 1
[CORTEZ 2005] Cp. 1 y 2
Expresiones regulares y autmatas

3ra Semana:

Expresiones regulares. Construccin de autmatas finitos. Autmatas deterministas y autmatas

no deterministas.
Pre requisito: es necesario repasar los conceptos estudiados en el curso de Matemticas
Discretas: Grafos y maquinas de estados finitos. Diagramas de transicin y matriz de transicin.
Bibliografa
[AHO 1990] Cp. 3
[HOPCROFT 1993] Cp. 2-3
[BROOKSHEAR 1989] Cp. 1
Lenguajes de contexto libre y autmatas de pila

4 ta Semana:

Lenguajes libres del contexto. Construccin de autmatas de pila.

Pre requisito: es necesario repasar los conceptos estudiados en el curso de Matemticas
Discretas : Grafos y maquinas de estados finitos. Diagramas de transicin y matriz de
transicin. Pilas y primitivas de acceso.
Bibliografa
[AHO 1990] Cp. 3
[HOPCROFT 1993] Cp. 4-5-6
[BROOKSHEAR 1989] Cp. 2
Anlisis Lexicogrfico

5 ta Semana:

Funciones y reconocimiento de tokens. Especificacin de los componentes lexicogrficos.

Gramticas regulares. Tratamiento y recuperacin de errores lexicogrficos. Autmatas finitos y
su implantacin
Pre requisito: es necesario repasar los conceptos estudiados en el curso de Matemticas
Discretas: Lenguajes y gramticas formales, expresiones regulares, grafos, autmatas finitos,
matriz de transicin.
Bibliografa
2/5

[AHO 1990] Cp. 3

[TEUFEL 1995] Cp. 3

Anlisis Sintctico

6 ta Semana:

Mtodos de anlisis sintctico: descendente y ascendente. Otros tipos de parser. Analizadores

sintcticos LL. Construccin de tabla de anlisis sintctico.
Pre requisito: es necesario repasar los conceptos estudiados en el curso de estructura de
datos: rboles y grafos
Bibliografa
[AHO 1990] Cp. 4
[BROOKSHEAR 1989] Cp.2
[TEUFEL 1995] Cp. 4
Tablas de smbolos

7ma Semana:

Tabla de smbolos: uso, estructura, organizacin, primitivas de acceso.

Pre requisito: Repasar los temas de Estructuras de Datos, Organizacin de archivos mtodos
de bsqueda y clasificacin de los cursos de Algortmicas y Estructura de Datos
Bibliografa
[AHO 1990] Cp. 7
[TEUFEL 1995] Cp. 3
Examen parcial

8 ta Semana:

Anlisis Sintctico LR

9 da Semana:

Analizadores sintcticos LR. Construccin.

Bibliografa
[AHO 1990] Cp. 4
[BROOKSHEAR 1989] Cp.2
[TEUFEL 1995] Cp. 5
Manejo de errores 10 ma Semana:
Tipos de errores. Recuperacin
Bibliografa
[TEUFEL 1995] Cp. 6
Anlisis Semntico

11 da Semana:

Funciones de la Verificacin semntica. Comprobacin de tipos

Bibliografa
[AHO 1990] Cp. 6
[TEUFEL 1995] Cp. 5
Generacin de Cdigo

12 va 13va Semana:

Cdigo intermedio. Cdigo Objeto. Asignacin de memoria. Optimacion de cdigo. Generacin

de cdigo.
Bibliografa
[AHO 1990] Cp. 7, 8, 9, y10
3/5

[TEUFEL 1995] Cp. 7

Sustentacin de proyecto

14 va 15 va Semana:

En todas las exposiciones los grupos debern exponer el resultado de su proyecto, con la
participacin de todos los alumnos del bloque que podrn opinar y aportar sugerencias a los
proyectos de sus compaeros
Examen final

16 ta Semana:

Examen Sustitutorio

17 ta Semana:

METODOLOGIA
Las clases de la parte terica se desarrollarn en aula presentando las principales tcnicas
aplicadas a cada una de las fases del diseo de compiladores. Adems se combinarn con
lecturas obligatorias compuestas por artculos o captulos de libros que se discutir en clase,
por lo que stos deben ser ledos antes de clase.
El Laboratorio tiene como objetivo guiar al alumno en la implementacin del proyecto del
curso.

VI

SISTEMA DE EVALUACION
El promedio final del curso ser calculado como un promedio ponderado segn muestra el
siguiente cuadro:
Concepto
Examen Parcial Teora
Examen Final Teora
Promedio de
Prctica-Laboratorio

Porcentaje
30
40
30

Responsable
Profesor de Teora
Profesor de Teora
Profesor de Practica

Durante el curso se desarrollara un proyecto el cual ser evaluado tanto por el profesor de
Laboratorio como por el profesor de teora
VII

FUENTES BIBLIOGRAFICAS
[AHO 1990] Aho A., Sethi R.., Ullman J. - Compiladores, Principios, Tecnicas y
herramientas. Adisson-Wesley. 1990. Wilmington Delaware EUA
[BROOKSHEAR 1989] Brookshear J. Teoria de la computacion, lenguajes formales,
automatas y complejidad. Adisson-Wesley. 1989. Wilmington Delaware EUA
[CORTEZ 2005] Augusto Cortez Vasquez. Lenguajes y traductores. UNMSM FISI
Lima 2002
[GRASSMANN 1997] Grassmann W., Tremblay J. Matematica discreta y logica. 1997.
Prentice Hall Hispanoamericana
[HOPCROFT 1993] Hopcroft J., Ullman J. Introduccion a la teoria de autmatas,
lenguajes y computacion. CECSA 1993 EUA
[KOLMAN 1989] Kolman B. Busby R. Estructuras de matemticas discretas para la
computacion. 1989. Prentice Hall Hispanoamericana
[PRATT 1998] Pratt, T. - Zelkowitz, M. Lenguajes de programacin, diseo e
implementacion. 1998. Prentice Hall Hispanoamericana
[SETHI 1992] Sethi R. - Lenguajes de programacin, Conceptos y constructores.
Adisson-Wesley. 1992. Wilmington Delaware EUA
[TEUFEL 1995] Teufel Schmidt Teufel Compiladores Conceptos fundamentales.
Adisson-Wesley. 1995. Wilmington Delaware EUA
4/5

5/5