Swappa :: Formalizzazione di una parte elettronica

Formalizzazione di una parte elettronica

LETTORE MP3

Σ(insieme finito di simboli in ingresso)=play/pause, vol, skip indietro, skip avanti, stop, on/off, menu
Λ(insieme finito di simboli in uscita)=inizio/pausa canzone, attivazione menu volume, canzone/scelta precedente, canzone/scelta successiva, interrompi canzone, accendi/ spegni, richiama il menu
S(insieme finito degli stati)=play/pause premuto, vol premuto, skip indietro premuto, skip avanti premuto, stop premuto, on/off premuto,menu premuto, tutti i tasti premuti
f(funzione di transizione tra gli stati)=pressione di un tasto qualsiasi
s0(stato iniziale)=nessuno tasto premuto