La macchina a stati

Prima di tutto, evitiamo se possibile di utilizzare una macchina a stati gerarchica (cioè a più livelli, come descritta nell'articolo sulla logica di controllo), in modo da non complicarci troppo la vita.

Per farlo, utilizziamo i due pseudo-stati Any state e Any state except Inactive, in giallo nel diagramma

Come si vede già dal diagramma, in particolare esaminando le azioni, ci sono due variabili di stato extra:

• Il timer utilizzato per le varie temporizzazioni;
• Il conteggio per il semaforo pedonale.