SCV0327 - AUTOMI E LINGUAGGI

Il corso, di carattere teorico, ha come obiettivo l'acquisizione da parte dello studente delle nozioni basilari relative alla teoria degli automi e dei linguaggi formali. Tali conoscenze sono rivolte a formare e ad aumentare le capacità di astrazione e di formalizzazione, capacità che hanno un ruolo fondamentale in vari ambiti dell'informatica come, ad esempio, nello sviluppo dei compilatori, nella modellazione di sistemi complessi e nell'ingegneria del software. Al termine del corso lo studente sarà in grado di: • avere nozioni di base su stringhe e linguaggi formali (sul monoide libero generato da un alfabeto finito) • descrivere i principali modelli ad automi per il riconoscimento di classi di linguaggi (automi a stati finiti, automi a pila, macchine di Turing) • descrivere sistemi di riscrittura/grammatiche alla Chomsky per il riconoscimento di classi di linguaggi • avere chiara la relazione tra automi a stati finiti, Macchine di Turing e le nozioni base della programmazione sequenziale • avere chiara la relazione tra automi a stati finiti, e formalizzazione di sistemi discreti sequenziali • identificare il ruolo dei vari linguaggi (in particolare per i linguaggi regolari e context-free) nel processo di compilazione dei linguaggi di programmazione e in altre applicazioni di base dei linguaggi; • applicare in modo appropriato riconoscitori e generatori allo studio di semplici linguaggi; • riconoscere e utilizzare la terminologia propria della teoria degli automi, dei linguaggi formali e della teoria della computabilità.