Introduzione allo studio dell'informatica teorica: differenze tra le versioni

Contenuto cancellato Contenuto aggiunto
Riga 103:
 
==Il passo come azione==
Le azioni si possono interpretare come eventi che provocano un cambiamento dello stato di un sistema; grazie a questa loro caratteristica possono essere utilizzate per descrivere l'evoluzione del sistema stesso.
Quando la computazione viene impiegata per modellizzare un sistema reale le azioni da compiere sono facilmente deducibili dalle caratteristiche del sistema stesso. Come al solito presentiamo qualche esempio per chiarire le idee:
(da completare)
* nel caso di una porta le azioni sarebbero ''aprire'' e ''chiudere'';
* nel caso di un'automobile in movimento le azioni potrebbero essere ''accendere'', ''spegnere'', ''accelerare'', ''frenare'', ''sterzare'', ''avanzare'', ''retrocedere''.
* nel caso di una squadra di calcio le azioni possibili possono essere ''vincere'', ''pareggiare'', ''perdere''.
 
Dopo aver identificato l'elenco delle azioni che possono manifestarsi la computazione può essere descritta come una successione di azioni. Vediamo qualche esempio:
* nel caso della porta: <math>a_n</math> = ''aprire'', ''chiudere'', ''aprire'', ''chiudere'', ...
* nel caso dell'automobile: <math>a_n</math> = ''accendere'', ''avanzare'', ''sterzare'', ''accelerare'', ...
* nel caso di una squadra di calcio: <math>a_n</math> = ''vincere'', ''vincere'', ''perdere'', ''pareggiare'', ''vincere'', ...
 
Descrivere una computazione tramite una successione di azioni ha un limite dettato dal fatto che è impossibile sapere qual è lo stato da cui inizia l'evoluzione della computazione stessa.
Lo stato della computazione prima che vengano svolte azioni copre un'importanza particolare e prende il nome di ''stato iniziale''; come vedremo questo concetto avrà un ruolo molto importante nella teoria degli automi.
 
==Il passo come coppia <math>( stato, azione )</math>==