Automata, Languages And Computation – Padova

Università degli Studi di Padova · Dipartimento di Ingegneria dell'Informazione - DEI · tutti i canali con docenti e libri, a.a. 2026/2027

Prof. Giorgio Satta Canale unico

Corso di laurea: Computer Engineering – sede di Padova · Laurea magistrale (LM-32) · esame facoltativo · 6 CFU

Padova · Dipartimento di Ingegneria dell'Informazione - DEI · 6 CFU · apri nel catalogo · Computer Engineering – sede di Padova · 1º anno · 1º semestre ›

Il docente indica 1 testo

Titolo

Hopcrpft – Introduction to automata theory, languages, and computation Cerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026

Libri consigliati nell'a.a. 2025/2026

Hopcrpft – Third edition Cerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026

Bacheca del docente: cosa indica di studiare

Argomenti del programma: Definizione dei concetti di base dei linguaggi formali. Automi a stati finiti deterministici, non-deterministici, e non-deterministici con epsilon-transizioni. Espressioni regolari e loro relazione con gli automi a stati finiti. Proprietà dei linguaggi regolari. Grammatiche context-free, alberi di derivazione; semplificazione di grammatiche context-free e forme canoniche.

Apri la scheda ufficiale ›

Aiutaci a tenerci aggiornati

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