titoli temi e curricula dottorati - Associazione Italiana per la Ricerca

SI DIMOSTRI CHE VIENE GARANTITA LA MUTUA ESCLUSIONE SULLA VARIABILE CONDIVISA BUF
(SI NOTI CHE TALE VARIABILE È CONDIVISA TRA UN UNICO PRODUTTORE E UN UNICO
CONSUMATORE).
B) SI SPIEGHI LA DIFFERENZA TRA VERIFICA E INFERENZA DI TIPI. SI DICA INOLTRE QUALE TIPO
SAREBBE INFERITO PER LA SEGUENTE FUNZIONE ML-like, SPIEGANDO LA TECNICA ADOTTATA.
fun length (nil) =0
| length (a::1)=1+length (1);;
C) DEFINIRE UNA PROCEDURA PASCAL K – MERGESORT CHE DIVIDA UNA SEQUENZA DI NUMERI IN
K PORZIONI, ORDINI CIASCUNA PORZIONE E FONDA IL RISULTATO.
QUAL È IL TEMPO DI ESECUZIONE DI K-MERGESIRT IN FUNZIONE DI K?
QUALE VALORE DI K FORNISCE L’ALGORITMO PIÙ VELOCE?
D) COSTRUIRE UNA RETE LOGICA PER IL CALCOLO DEL RIPORTO IN USCITA PER UN SOMMATORE
AD UN BIT, COSTITUITO ESATTAMENTE DA TRE PORTE AND E UNA PORTA OR. SI RICORDA CHE UN
SOMMATORE AD UN BIT HA TRE BIT DI INPUT (DUE SONO I BIT DA SOMMARE E UNO È IL RIPORTO
IN INGRESSO) E DUE BIT OUTPUT (LA SOMMA E IL RIPORTO IN USCITA).
E) SI UTILIZZI IL PUMPING LEMMA (DETTO ANCHE TEOREMA XYZ) PER DIMOSTRARE CHE IL
LINGUAGGIO {a b | m > n} NON È REGOLARE.
F) SI DIMOSTRI CHE L’INSIEME DEGLI INDICI DELLE FUNZIONI RICORSIVE TOTALI NON È
RICORSIVAMENTE ENUMERABILE.
III TEMA
1. IL CANDIDATO DESCRIVA UN PROBLEMA DI RICERCA APERTO IN UNA DELLE AREE SOTTO
ELENCATE, DISCUTENDONE GLI ASPETTI TEORICI E/O TECNOLOGICI ED EVIDENZIANDONE LE
POSSIBILI APPLICAZIONI CONCRETE.
ARCHITETTURE
SISTEMI DISTRIBUITI
LINGUAGGI E/O METODOLOGIE DI PROGRAMMAZIONE
ALGORITMI
METODI FORMALI
2. IL CANDIDATO RISOLVA 3 ESERCIZI A SCELTA TRA I SEGUENTI:
A) DEADLOCK
QUALI SONO LE QUATTRO CONDIZIONI NECESSARIE PER IL VERIFICARSI DI DEADLOCK?
SI DESCRIVA IL METODO DI DEADLOCK-AVOIDANCE BASATO SUL CONCETTO DI “STATO SICURO”
(ALGORITMO DEL BANCHIERE), ILLUSTRANDOLO CON UN SEMPLICE ESEMPIO.
UNO STATO NON SICURO CONDUCE NECESSARIAMENTE AL DEADLOCK?
B) SI DICA CHE COSA SI INTENDE PER “TECNICA DEL DISPLAY” IN RIFERIMENTO ALLA GESTIONE
DELLA PILA DEI RECORD DI ATTIVAZIONE IN UN TIPICO LINGUAGGIO A BLOCCHI E SE NE SPIEGHI
LA GESTIONE.
C) SCRIVERE L’ALGORITMO DI QUICKSORT SU ARRAY.
DISCUTERE LA COMPLESSITÀ DELL’ALGORITMO NEL CASO PESSIMO, OTTIMO E MEDIO.
D) COSTRUIRE UNA MACCHINA DI MOORE CHE , PRESO IN INPUT UN NUMERO DESCRITTO IN
BINARIO RESTITUISCA IN OUTPUT IL RESTO DELLA SUA DIVISIONE MODULO 3. AD ESEMPIO,
ALL’INPUT 1010, L’AUTOMA RESTITUISCE IN OUTPUT LA SEQUENZA (0) 1221.
E) DATA LA GRAMMATICA G DEFINITA DALLE SEGUENTI PRODUZIONI:
S ? ABC
AC ? aAC|ACc
CB ? cCB| CBb