Formal languages and automata to model complex structures - modul 2

A.A. 2018/2019
Course offered to students on the PhD programme in
2
Crediti
10
Ore totali
Periodo
Febbraio 2019
Lingua
Inglese
Docente responsabile: Violetta Lonati
The course aims at presenting a number of different recent theoretical models and classes of formal languages, suitable for many different applications, e.g. verification of infinite-state systems, pattern recognition, paallel parsing, bio-inspired computing.
This is a joint course between Politecnico di Milano and Università degli Studi di Milano. The course is divided in two parts, presenting two recent and interesting families of models, suitable for many applications: one is on Operator Precedence languages, while the other is on Two-Dimensional languages.
part 2
Recent years witnessed the revival of a traditional sub-class of Deterministic Context-Free languages: Operator Precedence languages (OPLs), originally introduced by Floyd in 1963. OPLs enjoy all the closure properties of Regular, McNaughton's Parenthesis, and Visibly Pushdown languages (introduced as Input Driven languages), yet are more expressive.
The course will start presenting the historical definitions and traditional usage of OPLs. Then the recent automata-theoretic and logic characterizations of OPLs, and omega languages will be covered, and their relation with automatic verification. The last part on OPLs will be on the suitability of OPLs for parallel parsing, with hints toward the parallel querying of data definition languages for Big Data applications.
Suggested Readings: Basics on discrete mathematics, formal language and automata, logics
Non definiti
Modalità di valutazione
Giudizio di approvazione
Giudizio di valutazione
superato/non superato
Iscrizioni

Scadenze

Il termine di iscrizione ai corsi è previsto generalmente entro il 25° giorno del mese precedente al mese di avvio, in particolare:

  • per i corsi in avvio a gennaio 2022 fino al 27 dicembre 2021
  • per i corsi in avvio a febbraio 2022 fino al 25 gennaio 2022
  • per i corsi in avvio a marzo 2022 fino al 25 febbraio 2022.

Saranno rese note appena possibile le scadenze di iscrizione ai corsi in avvio nei mesi successivi.

Come iscriversi

  1. Autenticarsi al servizio di iscrizione con le credenziali di Ateneo
  2. Selezionare l’insegnamento scelto e cliccare su Iscrizione e infine su Iscriviti

Trascurare del tutto la voce "Data di appello" che appare durante la procedura di iscrizione.

Assistenza

Per informazioni e richieste di chiarimento scrivere a: [email protected]

Docente/i