Libri UniversitariApri il catalogo

Hopcroft – LINGUAGGI E CALCOLABILITÀ

Libro adottato a Salerno, Perugia, a.a. 2026/2027 · 6 canali

«Hopcroft – LINGUAGGI E CALCOLABILITÀ» è adottato per Computability And Complexity dal prof. Arturo Carpi (Informatica – Perugia); per Linguaggi Formali e Compilatori dal prof. Arturo Carpi (Informatica – Perugia); per Elementi di Teoria della Computazione dal prof. Clelia De Felice (Informatica – sede di Fisciano – Salerno); per Elementi di Teoria della Computazione dal prof. Luisa Gargano (Informatica – sede di Fisciano – Salerno); e in altri 2 insegnamenti.

Hopcroft – LINGUAGGI E CALCOLABILITÀCerca su Amazon ›

Come lo indica il docente: J. Hopcroft, R. Motwani, J. Ullman, Automi, linguaggi e calcolabilità, Pearson · J. Hopcroft, R. Motwani, J. Ullman, Automi, linguaggi e calcolabilità, Pearson, 2009 · J. HOPCROFT, R. MOTWANI, J. ULLMAN, AUTOMI, LINGUAGGI E CALCOLABILITÀ, ADDISON WESLEY PEARSON EDUCATION ITALIA S.R.L, TERZA EDIZIONE, 2009

Chi lo adotta

Programma e testi di ogni canale

Computability And Complexity – Prof. Arturo Carpi Canale unico

Corso di laurea: Informatica · Laurea magistrale (LM-18) · 1º anno · 2º semestre · 6 CFU

Perugia · Matematica e informatica · 6 CFU · apri nel catalogo · Informatica · 1º anno · 2º semestre ›

Toffalori – Teoria della computabilità e della complessitàCerca su Amazon ›Verificato sulla scheda ufficiale il 04/10/2026
Hopcroft – Linguaggi e calcolabilitàquesto libroCerca su Amazon ›Verificato sulla scheda ufficiale il 04/10/2026
Davis – Computability and UnsolvabilityCerca su Amazon ›Verificato sulla scheda ufficiale il 04/10/2026
Michael Sipser – Introduction to the Theory of ComputationCerca su Amazon ›Verificato sulla scheda ufficiale il 04/10/2026
Apri la scheda ufficiale ›
Aiutaci a tenerci aggiornati
Il prof ha indicato altri libri, pagine o modifiche? Scrivicelo.

Linguaggi Formali e Compilatori – Prof. Arturo Carpi Canale unico

Corso di laurea: Informatica · Laurea triennale (L-31) · 2º anno · 2º semestre · 6 CFU

Perugia · Matematica e informatica · 6 CFU · apri nel catalogo · Informatica · 2º anno · 2º semestre ›

Hopcroft – Linguaggi e calcolabilitàquesto libroCerca su Amazon ›Verificato sulla scheda ufficiale il 04/10/2026
Aho – Techniques and ToolsCerca su Amazon ›Verificato sulla scheda ufficiale il 04/10/2026
Grune – Parsing techniquesCerca su Amazon ›Verificato sulla scheda ufficiale il 04/10/2026
de – Teoria degli Automi FinitiCerca su Amazon ›Verificato sulla scheda ufficiale il 04/10/2026
Apri la scheda ufficiale ›
Aiutaci a tenerci aggiornati
Il prof ha indicato altri libri, pagine o modifiche? Scrivicelo.

Elementi di Teoria della Computazione – Prof. Clelia De Felice Canale resto 0

Corso di laurea: Informatica – sede di Fisciano · Laurea triennale (L-31) · 3º anno · 2º semestre · 9 CFU

Salerno · Dipartimento di Informatica · 9 CFU · apri nel catalogo · Informatica – sede di Fisciano · 3º anno · 2º semestre ›

Sipser – INTRODUZIONE ALLA TEORIA DELLA COMPUTAZIONECerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 03/10/2026
Hopcroft – LINGUAGGI E CALCOLABILITÀquesto libroCerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 03/10/2026
Bacheca del docente: cosa indica di studiare
  • SLIDES DELLE LEZIONI DISPONIBILI SUL SITO DEL CORSO OSPITATO DA HTTPS://ELEARNING.INFORMATICA.UNISA.IT/

Argomenti del programma: MODELLI DI COMPUTAZIONE: AUTOMI FINITI DETERMINISTICI E NON DETERMINISTICI. ESPRESSIONI REGOLARI. PROPRIETÀ DI CHIUSURA DEI LINGUAGGI REGOLARI. TEOREMA DI KLEENE. PUMPING LEMMA PER I LINGUAGGI REGOLARI. [24 ORE] MACCHINA DI TURING DETERMINISTICA A NASTRO SINGOLO. IL LINGUAGGIO RICONOSCIUTO DA UNA MACCHINA DI TURING.

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

Elementi di Teoria della Computazione – Prof. Luisa Gargano Canale resto 1

Corso di laurea: Informatica – sede di Fisciano · Laurea triennale (L-31) · 3º anno · 2º semestre · 9 CFU

Salerno · Dipartimento di Informatica · 9 CFU · apri nel catalogo · Informatica – sede di Fisciano · 3º anno · 2º semestre ›

Sipser – INTRODUZIONE ALLA TEORIA DELLA COMPUTAZIONECerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 03/10/2026
Kleinberg – ALGORITHM DESIGNCerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026
Hopcroft – LINGUAGGI E CALCOLABILITÀquesto libroCerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 03/10/2026
Bacheca del docente: cosa indica di studiare

Argomenti del programma: MODELLI DI COMPUTAZIONE: AUTOMI FINITI DETERMINISTICI E NON DETERMINISTICI. ESPRESSIONI REGOLARI. PROPRIETÀ DI CHIUSURA DEI LINGUAGGI REGOLARI. TEOREMA DI KLEENE. PUMPING LEMMA PER I LINGUAGGI REGOLARI. [24 ORE] MACCHINA DI TURING DETERMINISTICA A NASTRO SINGOLO. IL LINGUAGGIO RICONOSCIUTO DA UNA MACCHINA DI TURING.

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

Elementi di Teoria della Computazione – Prof. Marcella Anselmo Canale resto 2

Corso di laurea: Informatica – sede di Fisciano · Laurea triennale (L-31) · 3º anno · 2º semestre · 9 CFU

Salerno · Dipartimento di Informatica · 9 CFU · apri nel catalogo · Informatica – sede di Fisciano · 3º anno · 2º semestre ›

Sipser – INTRODUZIONE ALLA TEORIA DELLA COMPUTAZIONECerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 03/10/2026
Hopcroft – LINGUAGGI E CALCOLABILITÀquesto libroCerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 03/10/2026
Bacheca del docente: cosa indica di studiare

Argomenti del programma: MODELLI DI COMPUTAZIONE: AUTOMI FINITI DETERMINISTICI E NON DETERMINISTICI. ESPRESSIONI REGOLARI. PROPRIETÀ DI CHIUSURA DEI LINGUAGGI REGOLARI. TEOREMA DI KLEENE. PUMPING LEMMA PER I LINGUAGGI REGOLARI. [24 ORE] MACCHINA DI TURING DETERMINISTICA A NASTRO SINGOLO. IL LINGUAGGIO RICONOSCIUTO DA UNA MACCHINA DI TURING.

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

Strumenti Formali per la Bioinformatica – Prof. Clelia De Felice Canale unico

Corso di laurea: Informatica – sede di Fisciano · Laurea magistrale (LM-18) · 1º anno · 1º semestre · 9 CFU / esame facoltativo · 9 CFU

Salerno · Dipartimento di Informatica · 9 CFU · apri nel catalogo · Informatica – sede di Fisciano · 1º anno · 1º semestre ›

Sipser – INTRODUZIONE ALLA TEORIA DELLA COMPUTAZIONECerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 03/10/2026
Hopcroft – LINGUAGGI E CALCOLABILITÀquesto libroCerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 03/10/2026
Gusfield – ALGORITHM ON STRINGSCerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 03/10/2026
INTRODUCTION TO MACHINE LEARNING, LECTURE NOTES, MIT, 2019Cerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 03/10/2026
IAN GOODFELLOW, YOSHUA BENGIO, AARON COURVILLE, DEEP LEARNING,Cerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 03/10/2026
Bacheca del docente: cosa indica di studiare
  • SLIDES DELLE LEZIONI DISPONIBILI SUL SITO DEL CORSO OSPITATO DA HTTPS://ELEARNING.INFORMATICA.UNISA.IT/
  • N.C. JONES, P.A. PEVZNER. AN INTRODUCTION TO BIOINFORMATICS ALGORITHMS. HTTP://BIOINFORMATICSALGORITHMS.COM

Argomenti del programma: PRIMA PARTE (40 ORE): STRINGHE E LINGUAGGI. AUTOMI FINITI DETERMINISTICI E NON DETERMINISTICI. ESPRESSIONI E LINGUAGGI REGOLARI. EQUIVALENZA E MINIMIZZAZIONE DI AUTOMI. GRAMMATICHE E LINGUAGGI LIBERI DAL CONTESTO. ALBERI SINTATTICI. AUTOMI A PILA. GRAMMATICHE REGOLARI. CENNI SULLA GERARCHIA DI CHOMSKY. CENNI SU RECENTI E RILEVANTI APPLICAZIONI DEI MODELLI DI COMPUTAZIONE.

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

Si studia insieme a