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

(:title Formalizzazione di una parte elettronica:)

!!Formalizzazione di una parte elettronica


----
[[Torna agli esercizi ->Esercizi]]\\
[[Torna a Spin8 ->Spin8]]