Introduzione allo studio dell'informatica teorica: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
Riga 86:
==Il passo come stato==
Sebbene il concetto di computazione sia molto astratto viene spesso impiegato per rappresentare in modo sintetico delle situazioni reali, ossia per costruire ''modelli''.
La computazione è uno strumento prezioso per descrivere situazioni ''dinamiche'', nelle quali vi siano caratteristiche che cambiano nello spazio oppure nel tempo.
Lo ''stato'' rappresenta la descrizione di una o più caratteristiche associate al sistema per cui si desidera costruire un modello.
Come al solito qualche esempio faciliterà la comprensione del concetto:
* in un semaforo lo stato potrebbe essere ''rosso'', ''giallo'' o ''verde'';
* in una lampadina lo stato potrebbe essere ''accesa'' o ''spenta'';
* volendo studiare il livello di un lago lo stato potrebbe essere la sua profondità rispetto ad un riferimento dato.
* se il sistema fosse una particella in movimento su una retta lo stato potrebbe essere una coppia <math>( posizione, quantità di moto ) </math>.
Se si sceglie di descrivere il singolo passo della computazione impiegando uno stato, l'intera computazione sarà una successione finita od infinita di stati. Anche in questo caso qualche esempio varrà più di mille parole:
* in qualche paese la successione degli stati per un semaforo sarà: <math>q_n</math> = rosso, giallo, verde, giallo, rosso,...
* in altri paesi la successione potrebbe essere differente, ad esempio: <math>q_n</math> = rosso, verde, giallo, rosso,...
* nel caso della lampadina la successione degli stati sarà: <math>q_n</math> = spenta, accesa, spenta, accesa, ...
* nel caso della particella in movimento potrebbe avere senso considerare la successione <math>q_n</math> = ( 0 m, 2 m/s ), (2 m , 2 m/s), (4 m, 2 m/s), ...
==Il passo come coppia <math>( stato, azione )</math>==
| |||