Politecnico di Torino
Politecnico di Torino
   
Login  
it
Politecnico di Torino
Academic Year 2007/08
01JEUHT, 01JEUCY, 01JEUHR
Formal languages and compilers
Master of science-level of the Bologna process in Computer Engineering - Torino
Master of science-level of the Bologna process in Computer And Communication Networks Engineering - Torino
Teacher Status SSD Les Ex Lab Tut Years teaching
Rivoira Silvano ORARIO RICEVIMENTO     3.5 1 0.5 0 12
SSD CFU Activities Area context
ING-INF/05 5 B - Caratterizzanti Ingegneria informatica
Objectives of the course
Basic concepts of the theory of formal languages are introduced.
Compiler organization and design are discussed.






' J.E. Hopcroft, R. Motwani, J.D. Ullman : Introduction to Automata Theory, Languages, and Computation, Addison-Wesley, 2001.
' A.V. Aho, R. Sethi, J.D. Ullman : Compilers: Principles, Techniques, and Tools, Addison-Wesley, 1988.
Syllabus
Formal languages
 Classification
 Regular languages
' Regular grammars, Regular expressions, Finite state automata
 Context free languages
' Context free grammars, Pushdown automata, LR(k) grammars
 Turing machines
Compilers
 Lexical analysis
 Syntactic analysis
 Syntax directed translation
 Semantic analysis and intermediate code generation

Bibliography
' J.E. Hopcroft, R. Motwani, J.D. Ullman : Introduction to Automata Theory, Languages, and Computation, Addison-Wesley, 2001.
' A.V. Aho, R. Sethi, J.D. Ullman : Compilers: Principles, Techniques, and Tools, Addison-Wesley, 1988.

Programma definitivo per l'A.A.2008/09
Back



© Politecnico di Torino
Corso Duca degli Abruzzi, 24 - 10129 Torino, ITALY
WCAG 2.0 (Level AA)
Contatti