Quinta CS

Verica di informatica − 3 giugno 2022

Nome.................................................. Cognome..................................................

Non si possono consultare appunti e libri.

Esercizio 1 (due punti). Descrivere diusamente per quale oscura ragione il

cosiddetto problema della fermata è indecidibile.

Esercizio 2 (tre punti). Vericare che la seguente proposizione logica sia de-
rivabile:

Esercizio 3 (due punti). Costruire una macchina di Turing che dato un nu-
mero qualsiasi mi inverta le cifre 1 con 2 (cioè dove c'è scritto 1 scriverà 2 e dove
c'è scritto 2 scriverà 1) laddove le altre cifre rimangano del tutto invariate.

Esercizio 4 (un punto). Supponendo di avere un sistema con quattro frame,

adottando una politica di rimpiazzamento LRU, quanti page fault si vericheranno
con la reference list seguente?

0, 1, 7, 2, 3, 2, 7, 1, 0, 3, 1, 0, 3, 5, 666, 9, 1, 19, 15, 18, 9, 15, 1,

3, 5, 1, 9, 19, 3, 1, 3, 3, 2, 3, 7, 8, 3, 8, 1, 3, 8, 8, 3
(Si assuma che i quattro frame siano inizialmente vuoti).
 Esercizio 5 (due punti). determinare il costo di complessità computazionale del-
la funzione principale del seguente minuscolo codicillo:

int f1(int n, int g, int

k) {
if (n = 1)
return 1;
while (n>0) do
{ stampa(n);
n ←− n  1;
r ←− y * n
} return r;
}
int f2(int n) {
int x, y
x ←− 0
w ←− 10
for (i ←− 1 to n ) do {
for (j ←− 1 to n) do {
y ←− f1(x, 666, y);
if(y + 2 == 1) then {
x ←− x + 1
z ←− x * 2;
}
else {
x ←− x + 1;
}
}
}
x ←− x  1;
return x;
}

A quanto equivarrebbe di preciso tale presunto costo, posto che n sia 666 ?