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