Università Roma Tre

PRESENTARE LA TEORIA DEI LINGUAGGI E, PARALLELAMENTE, LA TEORIA DEGLI AUTOMI. INTRODURRE I PARADIGMI DELLA COMPUTABILITÀ E DELLA COMPLESSITÀ. AL TERMINE DEL CORSO GLI STUDENTI DOVREBBERO CONOSCERE NUOVE METODOLOGIE FORMALI, DOVREBBERO RIUSCIRE A RIVISITARE IN MODO CRITICO, DAL PUNTO DI VISTA DEL POTERE ESPRESSIVO, METODOLOGIE GIÀ INTRODOTTE IN MODO PRAGMATICO E DOVREBBERO ESSERE IN GRADO DI CLASSIFICARE I PROBLEMI DAL PUNTO DI VISTA DELLE RISORSE RICHIESTE PER LA LORO RISOLUZIONE.