Introduzione allo studio dell'informatica teorica: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
Riga 155:
Facciamo alcuni esempi:
* 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);
* AGGIUNGERE QUALCHE CASO IN PIÙ
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), ...;
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.
=Un esempio completo=
| |||