Search for contacts, projects,
courses and publications

Automata & Formal Languages

Description

COURSE OBJECTIVES

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 familiar with 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.

 

COURSE DESCRIPTION

Regular Languages (Finite Automata, Non Deterministic Finite Automata, Regular Expressions, Pumping Lemma for regular languages) and Context Free Languages (Context -Free Grammars and Push Down Automata)

 

LEARNING METHODS

Lessons, Assignments, Exams.

 

EXAMINATION INFORMATION
The grade will be based on your performance on assignments, on a midterm exam and on a final exam

People

 

Pozzi L.

Course director

Tirelli C.

Assistant

Additional information

Semester
Fall
Academic year
2021-2022
ECTS
3
Language
English
Education
Bachelor of Science in Informatics, Foundation course, 2nd year