Free University of Bozen-Bolzano
Faculty of Computer Science
Bachelor in Applied Computer Science

Home page of the course
Formal Languages

A.Y. 2008/2009

Prof. Diego Calvanese


Course presentation form

Objectives. The objective of the Formal Languages course is to introduce and study the basic abstract models of computation, namely finite state machines, push down machines, and formal grammars, and their relationships to formal languages encoding problems. It is also discussed how the abstract computing devices are used to process languages, and hence to solve problems that are of practical relevance. A second objective is to get the student acquainted to a formal, rigorous approach in computer science.

Prerequisites. There are no prerequisites in terms of courses to attend. Students should be familiar with the basic notions of mathematics and set theory as taught in the mathematics courses of the first year.

Teaching material

[M1] Introduction to Automata Theory, Languages, and Computation (3rd edition). J.E. Hopcroft, R. Motwani, J.D. Ullman. Addison Wesley, 2007.
[M2] Lecture Notes for Formal Languages. Diego Calvanese. 2008. Available on the course web page as scanned pages in pdf.
Further reading material for interested students

Back to teaching page of Diego Calvanese
Last modified: Saturday, 3-Oct-2009 22:55:03 CEST