---

1. Qual e' il rapporto fra "Computazione" e "Modello Computazionale"? .

A: Fissata una Computazione, possiamo definire cosa sia un Modello Computazionale ;
B: Fissato un Modello Computazionale, possiamo definire il significato di Computazione in quel Modello ;
C: Sono sinonimi ;
D: Si definisce un Modello Computazionale a partire dalla Computazione inventata da Post ;
E: La Computazione del calcolatore umano si basa sul Modello Computazionale di Turing ;

2. Qual è la relazione fra l'Architettura di Van Neumann e la Macchina di Turing?

A: La prima serve a colmare il semantic gap, la seconda no ;
B: La seconda serve a colmare il semantic gap, la prima no ;
C:Sono sovrapponibili ;
D: La prima e' una generalizzazione della seconda ;
E: La seconda e' una generalizzazione della prima ;

3. Cos'e' il "Semantic Gap" (Divario Semantico)?

A: La differenza di potenza espressiva fra il Linguaggio Macchina (LM)ed il Linguaggio Macchina Esteso (LMEST) ;
B: La differenza di potenza espressiva fra una Macchina di Turing e una Macchina di Van Neumann ;
C: La differenza di potenza espressiva fra una macchina astratta da realizzare e una macchina astratta esistente ;
D: Il divario espressivo fra l'Input e l'Output ;
E: La differenza di potenza espressiva fra un Controllo Finito e un Interprete ;

----------------
N.B.: Fra quelle proposte la risposta esatta è solo una !!!