Formal Languages and Compilers - 38070

courses

ID:

38070

Dettaglio:

SSD: Data Processing Systems Duration: 72 CFU: 9

Located in:

DALMINE

Url:

Course Details:

COMPUTER SCIENCE AND ENGINEERING - 38-270/PERCORSO COMUNE Year: 2

COMPUTER SCIENCE AND ENGINEERING - 38-270/PERCORSO COMUNE Year: 1

Year:

2025

Date/time interval

Primo Semestre (15/09/2025 - 20/12/2025)

Course Objectives

Introducing techniques to describe formal languages and algorithms to recognizes artificial languages.
Presenting freeware tools to generate language compilers.
Students will get the ability to design simple artificial languages and develop the translator.

Course Prerequisites

Good knowledge of fundamentals of Information technology and programming languages.

Teaching Methods

Lectures and exercises.
Session in the lab.

Assessment Methods

Mandatory written exam.
Optional (but strongly suggested) project work.

Language theory.
Operators on languages.
Regular expressions: derivation of language, recognition by means of finite state automata.
Syntax of languages: BNF grammars, properties.
Families of languages and parsing techniques: descending (LL(1)) and ascending (LR(0), LALR(1), LR(1)).
Semantics of languages: attribute grammars model and semantic evaluation methods.
The Java virtual machin and the byte code.