Please enable JavaScript.
Coggle requires JavaScript to display documents.
automi a stati finiti - Coggle Diagram
automi a stati finiti
elementi
-
– Macchine di Mealy: La coppia {q’, u }:
• q’ = t ( i, q ) è il simbolo stato prossimo
• u = w ( i, q ) è il simbolo di uscita
-
• q' = t ( i, q ) è il simbolo stato prossimo
-
-
cos'è?
-
-
condizione della macchina, in conseguenza del quale la
-
-
-
uscite
Poiché l’uscita dipende anche dallo stato, l’ASF è un
-
-
-
funzioni
stato prossimo
-
-
-
-
– Ad ogni coppia {stato, simbolo di ingresso} è associato, se specificato,
-
-
modello di ASF
che cos'è un ASF
Un ASF è una quintupla <Q, I, U, t, w> dove:
-
-
-
-
-
-
-
-
rappresentazione
con grafico
-
-
-
-
-
-
-
uscita, separati da un simbolo (/)
• Se l’uscita non è specificata, può essere indicata
-
-
Col termine automa si indica usualmente un apparato in grado di svolgere un'attività senza l'intervento dell'uomo.
Con il termine apparato si sottintende un sistema che riceve dei comandi (input) esterni e fornisce risposte o azioni in uscita (output).
I grafi sono costituiti da nodi (cerchi) e da archi orientati (linee dotate di freccia che uniscono i nodi). I nodi rappresentano le condizioni logiche (dove si prendono le decisioni) che sottendono il funzionamento dell'automa, nella situazione in cui arriva un certo ingresso. Gli archi orientati indicano un evento completo e specificano anche il valore di ingresso ed il valore dell'uscita che provoca la transizione. Questi valori sono di solito riportati sopra l'arco e sono separati da una virgola.
Nei grafi, talvolta viene usato il simbolo 
per indicare in quale condizione l'automa passa quando viene fornita l'energia di alimentazione al dispositivo.