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
Torna a Spin8