(a) Una Macchina Astratta puo' essere backward compatible con un'altra
se per esempio e' un'estensione di questa e se ovviamente c'e' un modo
di considerare solo quest'ultima o la sua estensione.
Quindi in realta' una macchina astratta, come una macchina fisica,
e' backward compatibile se e' non "una" macchina, ma piuttosto un insieme
di macchine tra cui e' possibile scegliere quale utilizzare.

(b) L'interprete (che poi e' il controllo finito) di una macchina di Turing
fa cio' che fa qualsiasi interprete.
Ovviamente il "programma" (l'insieme di quintuple) non e' in una
memoria, ma fa parte integrante della macchina.
Ovviamente, anziche' istruzioni, la macchina prendera' delle quintuple.
La scelta di quale quintupla "eseguire" dopo quella appena
"eseguita" dipendera' dallo stato in cui ci troviamo e dal simbolo letto dalla testina.

In una macchina di Turing universale ci son sempre due interpreti in "esecuzione".
Uno e' quello della macchina di Turing universale, il suo controllo finito, che
fa quanto descritto prima.
L'altro e' il suo insieme di quintuple, che simula il
comportamento del controllo finito, l'interprete, della particolare macchina di Turing
che vogliamo realizzare con la nostra macchina universale.
Ovviamente e' discutibile se considerare tale insieme di quintuple come
hardware o software.