Introduzione allo studio dell'informatica teorica: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
Riga 111:
==Il passo come azione==
Le azioni si possono interpretare come eventi che provocano un cambiamento dello stato di un sistema;
Quando la computazione
* 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''.
Line 124 ⟶ 125:
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.
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>( stato, azione )</math>==
| |||