Introduzione allo studio dell'informatica teorica: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
Riga 128:
Per chiarire il concetto si consideri l'esempio della squadra di calcio esaminato in precedenza; la stessa successione di azioni comporta risultati molto diversi a seconda che lo stato iniziale vedesse la squadra prima in classifica oppure ultima.
==Il passo come coppia <math>\text{( stato, azione )}</math>==
La descrizione della computazione come successione di stati presenta un limite dettato dall'assenza delle azioni; parallelamente, la descrizione della computazione come successione di azioni presenta un limite dettato dall'assenza dello stato iniziale.
DA COMPLETARE▼
Un buon modo per superare queste difficoltà consiste nel descrivere il singolo passo di una computazione come una coppia ordinata di elementi <math>\text{( stato, azione )}</math>.
Questo approccio risolve i problemi evidenziati in precedenza al costo di un lavoro di analisi più approfondito: anziché concentrare l'attenzione sull'elenco dei possibili stati oppure sull'elenco delle possibili azioni, in questo caso entrambi gli elementi vanno presi in considerazione.
Facciamo alcuni esempi:
* nel gioco del black jack gli stati possibili potrebbero essere ''sotto'', ''esatto'', ''sopra'' e le azioni possibili potrebbero essere ''continuare'', ''smettere'';
▲DA COMPLETARE
==Computazione come successione di azioni==
|