This page is organized in 5 sections. You can select the desired section or wait for the first one. Sections are.
Professor: Laura Pozzi
Assistant: Francesco Alberti
Course type: Lecture
Value in ECTS: 3
Bibliographic references available on the University Library website
Academic year 2012/13 - Spring semester
Prerequisites: Discrete Mathematics I
The theory of automata and formal languages deals with the problem of modeling computation: what is a computer, and what are its fundamental capabilities? Thus, it constitutes the basis for further studies on the theory of computability and complexity. Additionally, "Automata and Formal Languages" is a very practical course, as it provides knowledge of the models used in many branches of computer science, from scanners and lexical analyzers in compilers, to programs for designing digital circuits, and even in other areas such as linguistics. At the end of this course you will be very familiar with the main models of computations used today, you will understand how they are fundamental to further studies and you will be ready for a more advanced course on the theory of computation.
The course will cover finite automata, regular languages, regular expressions, deterministic and nondeterministic models, context-free grammars, pushdown automata, turing machines.
There is one lecture per week. Attendance is mandatory.
Introduction to the Theory of Computation, Michael Sipser, Thomson Course Technology, Second Edition, 2006
Your are browsing the content Course description of the topic People directory. You arrived from.