Libri UniversitariApri il catalogo

Thomas – Languages and Machines

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

«Thomas – Languages and Machines» è adottato per Informatica Teorica dal prof. Luca Ferrari (Informatica – Firenze).

Thomas – Languages and MachinesCerca su Amazon ›

Come lo indica il docente: - Thomas A. Sudkamp, Languages and Machines, Addison-Wesley. Altri testi di consultazione: - Sanjeev Arora, Boaz Barak, Complexity Theory: A Modern Approach. - Massimiliano Goldwurm, Introduzione ai Problemi NP-completi, http://homes.di.unimi.it/goldwurm/algo/npcomp.pdf. - John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman, Introduction to Automata Theory, Languages and Computation, Addison-Wesley. - Daniele Mundici, Dalla macchina di Turing a P/NP, McGraw-Hill. - Michael Sipser, Introduzione alla teoria della computazione, Maggioli Editore. Controlla la bibliografia su onesearch. Per aiuto contatta la tua biblioteca

Titolo
Languages and machines
Autori
Thomas A. Sudkamp
Editore
Pearson Addison Wesley, 2006
ISBN
9780321315342

Chi lo adotta

Programma e testi di ogni canale

Informatica Teorica – Prof. Luca Ferrari Canale unico

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

Firenze · Matematica e Informatica 'Ulisse Dini' · 6 CFU · apri nel catalogo · Informatica · 3º anno · 2º semestre ›

Thomas – Languages and Machinesquesto libroCerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026
Libri consigliati nell'a.a. 2025/2026
Thomas – Languages and Machinesquesto libroCerca su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026
Bacheca del docente: cosa indica di studiare

Argomenti del programma: Calcolabilità: enumerabilità, computabilità, decidibilità; funzioni e relazioni ricorsive primitive; funzione di Ackermann, funzioni mu-ricorsive, tesi di Church; macchine di Turing; problema dell'arresto, macchina universale; riducibilità tra linguaggi, teorema di Rice.

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