Descrizione
Il corso è strutturato in 2 parti. Automi e linguaggi formali (28h): Linguaggi e grammatiche, Automi a stati finiti e linguaggi regolari, Linguaggi liberi da contesto, forme normali e automi a pila, Classificazione di Chomsky (cenni). Calcolabilità (34h): Nozione intuitiva di algoritmo, Modelli formali per il calcolo: Macchine di Turing/funzioni ricorsive/programmi While, Tesi di Church, Goedelizzazione, Universalità e Teorema s-m-n, Problemi solubili e non: problema della terminazione, Metaprogrammazione: compliazione, interpretazione e specializzazione, Insiemi ricorsivi e r.e., Teoremi di Ricorsione e Teorema di Rice, Riducibilità funzionale: Insiemi completi, creativi e produttivi.
- TEORIA
- SBOBINATURE E REGISTRAZIONI
- APPUNTI PRESI IN AULA
- RISCRITTI A CASA
- INTEGRAZIONE CON LIBRO
Recensioni
Non ci sono ancora recensioni
Solo gli utenti registrati che hanno acquistato il prodotto possono lasciare una recensione