class Primo {
	int x;
}

class Secondo {
	int x;
}

class Main {
	static void azzera(Primo a) {
		a.x = 0;
	}
	public static void main(String[] args) {
		Primo a = new Primo();
		a.x = 12;
		azzera(a);

		Secondo b = new Secondo();
		b.x = 12;
		azzera(b);
	}
}

L'errore è nell'ultima istruzione: nonostante il metodo azzera possa teoricamente asserare qualsiasi oggetto con componente x, non accetta l'oggetto b perchè non è di tipo Primo.

Questo tipo di errori non sono presenti nei linguaggi con tipizzazione ad anatra, in cui b verrebbe trattato senza errori perchè ha la componente x.

Le cifre binarie sono solo 0 e 1 mentre il numero contiene anche la cifra 3. Quindi il numero non è in binario.

Nella base cinque, le cifre vanno da zero a quattro. Il numero contiene invece la cira cinque. Quindi il numero non e' nemmeno in base cinque.

Potrebbe essere un numero in base sette, dato che le cifre sono tutte comprese fra zero e sei (incluso). In decimale vale:

3×7×7 + 4×7 + 5 =
  145 +  28 + 5 = 
             61

nodi:

• 0
• 1
• 2

archi:

• da 0 a 0
• da 0 a 1
• da 0 a 2
• da 2 a 3
• da 3 a 2

Il grafo è una coppia: insieme dei suoi nodi, insieme dei suoi archi.

({0,1,2}, {(0,0), (0,1), (0,2), (2,3), (3,2)})

Il simbolo iniziale X si può rimpiazzare con Z o con Y. Nel primo caso, la Z si può rimpiazzare con ab o con a, ottenendo le seguenti due generazioni:

X ⇒ Z ⇒ ab
X ⇒ Z ⇒ a

Nel secondo caso, Y si può solo rimpiazzare con X, tornando così al solo simbolo iniziale:

X ⇒ Y ⇒ X ⇒ …

Questo passo può venire compiuto un numero arbitrario di volte, e genera una stringa senza simboli non terminali solo quando X viene rimpiazzato con Z invece di Y:

X ⇒ Y ⇒ X ⇒ … X ⇒ Z ⇒ ab
X ⇒ Y ⇒ X ⇒ … X ⇒ Z ⇒ a

Le uniche stringhe generate sono quindi ab e a

una macchina di Turing esegue programmi Python

errato, il programma di una macchina di Turing è il suo automa

si ritiente che ogni problema che si può risolvere con un programma Python abbia una macchina di Turing che lo risolve

corretto: secondo la tesi di Church, le macchine di Turing risolvono ogni problema calcolabile

una macchina di Turing ha un programma fisso

corretto: ogni macchina di Turing esegue un programma fisso

non esiste nessuna macchina di Turing che risolve il problema di soddisfacibilità proposizionale

errato: il problema è calcolabile; l'affermazione corretta è che probabilmente il problema non si può risolvere con una macchina di Turing the impiega tempo polinomiale

le macchine di Turing nondeterministiche impiegano sempre tempo polinomiale

errato: possono eseguire programmi qualsiasi; il tempo polinomiale è un vincolo aggiuntivo nella definizione di NP