l'esame sostanzialmente tratta della modellazione della parte hardware; mi spiego meglio! C'è un componente hardware che è sottoposto ad un ingresso. A seconda dell'ingresso che si presenta alla macchina, questa deve effettuare un'operazione piuttosto che un'altra e quindi portarsi in una nuova configurazione rispetto alla precedente oppure permanere nella situazione in cui si trovava all'inizio.. Queste variazioni si chiamano transizioni di stato e, dette così, possono sembrare incomprensibili, ma se pensi, ad esempio, ad un climatizzatore che viene acceso (I stato - stato iniziale), viene impostata la temperatura a 22°(II stato) [c'è una transizione dallo stato iniziale al II stato]. Poi il climatizzatore effettua periodicamente dei controlli sulla temperatura dell'ambiente e, se questa è < di 22° resta acceso ad erogare aria calda (quindi non c'è transizione di stato, ma resta nel II stato); non appena si accorge che la temperatura è diventata >=22° effettua un'altra transizione di stato, portandosi, ad esempio, in uno stato di attesa e controllo periodico (III Stato).. Nel caso in cui la temperatura dovesse scendere di nuovo sotto i 22°, allora il climatizzatore si riporterà allo stato II e così via, ciclicamente, fino a che il climatizzatore non viene definitivamente spento (IV stato)...
Tutte le tecniche che servono per modellare questo ragionamento che ti ho proposto sono oggetto del corso. E' vero, non sono complicate, anche xkè il più delle volte sono meccaniche, però devi avere la capacità di intuire quali possono essere tutte le possibili transizioni di stato per un determinato problema che ti viene sottoposto (magari anche + complesso di quello che ho appena esemplificato).
Esistono solo due modi per scrivere un programma senza errori.
Ma e' solo il terzo modo quello che funziona realmente.