Enginyeria en Informàtica (3371)

Processadors de Llenguatge I (12463) 

Objectius

Iniciació als estudiants en les tècniques d’anàlisi i traducció de llenguatges formals. Aquestes tècniques normalment han estat desenvolupades per a la realització de compiladors. Malgrat tot són aplicables en tot procés de interpretació/traducció de qualsevol llenguatge amb una gramàtica ben definida. Així s’incidirà poc en el curs, en aquells aspectes més específics dels llenguatges de programació, per centrar-nos en el traducció dels llenguatges formals en general, i deixar aspectes més concrets dels llenguatges de programació per a Processadors de Lleguatge II

Mètode d'Avaluació

A través de las pràctiques i un examen. El examen seria teòric. La pràctica consistirà en fer un navegador, o visualitzador a partir de xml.

Temari

1 Introducció

La compilació i els llenguatges formals

Tema 2 El procés de Compilació/Interpretació d’un programa

Fases

Tema 3 Llenguatges i gramàtiques

Gramàtiques no ambigües

Tema 4 Traducció Dirigida per la sintaxi

La taula de símbols.
Anàlisi lèxic
Anàlisi Sintàctic

Bibliografia

Bibliografia recomenada
BENNETT, J.P. Introduction to Compiling Techniques - A First CourseUsing Ansi C, Lex and Yacc," McGraw Hill Book Co, 1990, ISBN 0-07-707215-4.
GRUNE,D., JACOBS, C., Parsing Techniques, A practical guide Ed. Dick Grune, Ceriel Jacobs, 1995

Bibliografia complementària
AHO, SETHI, and ULLMAN, Compiladores: Principios, Tecnicas, y herramientas
ANDREW W. APPEL Modern Compiler Implementation in (ML, Java, C) Ed. Cambridge University Press , 1998
CHARLES N. FISCHER & RICHARD J. LeBLANC, "Crafting A Compiler", Benjamin Cummings Publishing, Menlo Park, CA, 1988, ISBN 0-8053-3201-4.També en una versió posterior :"Crafting A Compiler in C"
DES WATSON, "High-Level Languages and Their Compilers," International Computer Science Series, Addison-Wesley Publishing Company, Wokingham England, 1989.