Ingegneria del Software e Modelli Computazionali – Bologna

Alma Mater Studiorum - Università di Bologna · Ingegneria e architettura · tutti i canali con docenti e libri, a.a. 2026/2027

Prof. Mirko Viroli, Prof. Danilo Pianini, Prof. Gianluca Aguzzi, Prof. Mario Bravetti Canale unico

Corso di laurea: Ingegneria e scienze informatiche – sede di Cesena · Laurea magistrale (LM-18) · 1º anno · 2º semestre · 12 CFU

Bologna · Ingegneria e architettura · 12 CFU · apri nel catalogo · Ingegneria e scienze informatiche – sede di Cesena · 1º anno · 2º semestre ›

Il docente indica 3 testi · da studiare tutti

Modulo Linguistica formale e modelli computazionali

Hopcroft – Automi, Linguaggi e Calcolabilità Cerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026

Russell, Norvig. "Artificial Intelligence

Modern Approach – 4th edition Cerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026

Huth, Ryan. "Logic in Computer Science

Modelling and Reasoning about Systems Cerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026

Bacheca del docente: cosa indica di studiare

Argomenti del programma: Automi e linguaggi formali: - automi a stati finiti - espressioni regolari e loro relazione con gli automi a stati finiti - grammatiche libere dal contesto e algoritmo Cocke-Younger-Kasami - automi a pila e loro relazione con le grammatiche libere dal contesto - classificazione à la Chomsky delle grammatiche Applicazioni alla linguistica formale: - grammatiche libere dal contesto probabilistiche - grammatiche…

Apri la scheda ufficiale ›

Aiutaci a tenerci aggiornati

Il prof ha indicato altri libri, pagine o modifiche? Scrivicelo.