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.
In base alla modalità scelta si potranno quindi avere tre possibili descrizioni per la computazione:
* se si descrive il passo come un'azione, la computazione sarà una successione di azioni;
* se si descrive il passo come uno stato la computazione sarà una successione di stati;
* se si descrive il passo come una transizione la computazione sarà una successione di coppie <math>( stato, azione )</math>.
 
Facciamo alcuni esempi:
Nelle sezioni seguenti verranno riportati tre esempi con lo scopo di illustrare le tecniche appena introdotte.
* 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==