Libri UniversitariApri il catalogo

Automata and computability; Dexter Kozen; Springer, 1999

Libro adottato a Trento, a.a. 2026/2027 · 1 canale

«Automata and computability; Dexter Kozen; Springer, 1999» è adottato per Linguaggi Formali e Compilatori dal prof. Paola Quaglia (Informatica – sede di Trento – Trento).

Automata and computability; Dexter Kozen; Springer, 1999Cerca su Amazon ›

Come lo indica il docente: Automata and computability; Dexter Kozen; Springer, 1999

Chi lo adotta

Programma e testi di ogni canale

Linguaggi Formali e Compilatori – Prof. Paola Quaglia Canale unico

Corso di laurea: Informatica – sede di Trento · Laurea triennale (L-31) · 3º anno · 1º semestre · Scienze e Tecnologie Informatiche · 12 CFU

Trento · Dipartimento di Ingegneria e Scienza dell'Informazione · 12 CFU · apri nel catalogo · Informatica – sede di Trento · 3º anno · 1º semestre ›

Compilers

Principles – Prentice HallCerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026

Testi di consultazione

Automata and computability; Dexter Kozen; Springer, 1999questo libroCerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026
Aho – And toolsCerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026
Kozen – Automata and computabilityCerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026
Bacheca del docente: cosa indica di studiare

Argomenti del programma: - Linguaggi regolari e analisi lessicale - Linguaggi liberi da contesto e analisi sintattica - Analisi semantica - Generazione di codice intermedio - flex e bison

Apri la scheda ufficiale ›
Aiutaci a tenerci aggiornati
Il prof ha indicato altri libri, pagine o modifiche? Scrivicelo.

Si studia insieme a