Introduzione allo studio dell'informatica teorica: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
Riga 157:
* nel caso di una porta automatica: (chiusa, aprire), (chiusa, chiudere), (aperta, aprire), (aperta, chiudere);
* nel caso di un ascensore in un edificio a tre piani: (piano terra, salire), (piano terra, scendere), (primo piano, salire), (primo piano, scendere), (secondo piano, salire), (secondo piano, scendere);
* nel caso di un contamontete: (0 euro, inserire un euro), (0 euro, inserire 0.50 euro), (0.50 euro, inserire un euro), (0.50, inserire 0.50 euro), (1 euro, inserire un euro), (1 euro, inserire 0.50 euro), (1.50 euro, inserire 0.50 euro);
Descrivere una computazione come una successione di coppie (passo, azione) porta a risultati simili a quelli riportati di seguito:
* porta automatica: (aperta, chiudere), (chiusa, aprire), (aperta, aprire), (aperta, chiudere), ...;
* ascensore: (piano terra, scendere), (piano terra, salire), (primo piano, salire), (secondo piano, scendere), ...;
* contamonete: (0 euro, inserire un euro), (1 euro, inserire 0.50 euro), (1 euro, inserire 0.50 euro);
Questa situazione è quella che descrive la computazione in modo più dettagliato, poiché per ogni passo della computazione si conoscono sia lo stato attuale, sia l'azione che verrà compiuta e che porterà, quindi allo stato prossimo.
| |||