UNIVERSIDAD NACIONAL DE TRUJILLO

FACULTAD DE INGENIERA
ESCUELA DE INGENIERA DE SISTEMAS

SILABO DEL CURSO

DPTO : INGENIERIA DE SISTEMAS

CURSO :
AUTOMATAS Y COMPILADORES

NIVEL DE EXIGENCIA ACADEMICA:

CODIGO HORAS/SEMANA PRE-REQUISITO

CRED. CICLO
TEORIA PRACT. LABORAT. TOT. PR-1 PR-2 PR-3 PR-4

505 1 2 2 5 3 V 40 - - -

OBJETIVOS: Al culminar el presente curso los estudiantes deben estar en condiciones de:
Reconocer los fundamentos de la computacin, en particular, en lo que respecta a la teora de la
computabilidad.
Entender los problemas computacionales y lograr una comprensin acabada de ciertos tpicos de la
ciencia de la computacin.
Reconocer los diferentes componentes que intervienen en la compilacin de los programas.
Utilizar un lenguaje de programacin para desarrollar aplicaciones sobre autmatas.
Proveer de principios y tcnicas tiles para la construccin de compiladores.

CONTENIDO:

Autmatas finitos y lenguajes regulares

Autmatas de pila y lenguajes independientes del contexto
Mquinas de turing y lenguajes estructurados por frases
Computabilidad
Complejidad
Anlisis Lxico
Anlisis Sintctico
Tabla de smbolos
Generacin de cdigo intermedio
Organizacin de la memoria durante la ejecucin
Introduccin a la optimizacin de cdigo
Generacin de cdigo
BIBLIOGRAFIA:

Alfred V. Aho. Revi Seth y Jeffrey D. Ullman (1986) Compilers. Principles Techniques, and tools. Ed.
Addisson Wesley. Reading MA.
Cristopher W, Fraser y David R. Hanson (1995) A Retargetable C Compiler Design and Implementation
Benjammin/Cumming. Readwood City. CA
Allen I. Holub (1990). Compiler Design in C. Prentice Hall
Dean Kelley. Teora de Autmatas y Lenguajes Formales. Prentice Hall. 1995