Formal Language Theory
A.Y. 2025/2026
Learning objectives
The aim of the course is to present the foundations of formal languages and automata theory, together with some recent developments and relevant open problems.
Expected learning outcomes
The student should be able to use formal language and automata theory to formally describe the syntax of simple artificial languages (for instance programming languages) or of simple computational models. The student should be also able to compare different formal models with respect to the computational power and to the complexity of their descriptions.
Lesson period: Third four month period
Assessment methods: Esame
Assessment result: voto verbalizzato in trentesimi
Single course
This course cannot be attended as a single course. Please check our list of single courses to find the ones available for enrolment.
Course syllabus and organization
Single session
Responsible
Lesson period
Third four month period
INF/01 - INFORMATICS - University credits: 6
Lessons: 48 hours
Professor:
Pighizzini Giovanni
Shifts:
Turno
Professor:
Pighizzini GiovanniProfessor(s)