ah quanti bei ricordi....
dunque l'insieme degli stati rappresenta TUTTI gli stati ke può assumere il tuo automa...non ho capito ke intendi con le pallette, cmq vedo si spiegarlo meglio + avanti...
x Sigma hai capito, è, se non ricordo male, i possibili valori che possono essere utilizzati dal tuo automa....
delta gli dice COME effettuare la transizione....
ad esempio tu sei in uno stato A e viene verificata la condizione alpha..... nell'elenco delle transizioni di stato di A prima avevi specificato ke non appena viene verificata la condizione alpha lo stato dell'automa deve diventare B, allora in questo caso al verificarsi della condizione il sistema passerà allo stato B. Non è detto ke ciò debba sempre avvenire.... se 6 nello stato C può essere ke hai definito delta(alpha) in modo da andare allo stato E.... e così via...
ogni stato ha la sua definizione delle transizioni.
Q0 è lo stato in cui si trova il sistema alla sua creazione, mentre lo stato (o gli stati) finali sono quelli ke fanno terminare l'agente non appena esso si trovi in uno di questi stati.
Gli automi a stati finiti sono uno strumente ESTREMAMENTE potente per ... i parser dei compilatori possono essere programmati usando automi a stati finiti....
Ora provo a farti un esempio (se riesco)...
devi scrivere un programma ke ti dica se in un distributore di sigarette l'importo è corretto, e accetta solo le monete per arrivare al totale, dato ke non torna resto...
Sei nello stato iniziale di attesa, hai a disposizione varie possibilità: 1€, 2€, 50c, 20c, 10c viene messa una monetina da 2€, quindi passi allo stato 2EURO, in cui viene incrementato il contatore totale di 2. A questo punto hai come possibilità solo 1€, 50c, 20c, 10c. Metti 1€, quindi passi allo stato 1EURO. Il totale viene incrementato di 1 e le possibilità sono 50c, 20c, 10c. A questo punto metti 50c e passando allo stato 50CENT sei arrivato al totale. Ci sarà una condizione ke dice ke quando totale=3.50 passi allo stato EROGAZIONE_MARLBORO_ROSSE
, qui il distributore ti da le sigarette, e quindi il sistema viene fatto tornare allo stato iniziale.
In questo particolare esempio non ci sono stati finali canonici, dato ke l'automa deve restare sempre in ciclo continuo.
Spero ke si sia capito qualcosa dato ke sono scarsissimo a spiegare.... e l'esempio era dovuto dato ke ho finito le marlboro e devo andarle a comprare + tardi
