Iniziamo con la descrizione dell'automa a stati finiti.
L'insieme dei suoi ingressi sara':

X = { Ness, In1, In2, In3}

Ness indica che non c'e' alcun visitatore
Inj indica che il visitatore e' nella sezione j.

Z = { 0, 1 }

0 e' il segnale che tiene spenta la registrazione.
1 e' il segnale che tiene accesa la registrazione.

S = { A, B, C, D }

A e' lo stato che indica che nessuno ha iniziato il giro o che il visitatore ha fatto una cosa in violazione di quanto scritto;
B e' lo stato che indica che il visitatore e' nella Sezione 1 senza contravvenire alle disposizioni del cartello;
C e' lo stato che indica che il visitatore e' nella Sezione 2 senza contravvenire alle disposizioni del cartello;
D e' lo stato che indica che il visitatore e' nella Sezione 3 senza contravvenire alle disposizioni del cartello;

Per descrivere l'automa notiamo come le disposizioni del cartello non impediscano a chi ha appena visitato la sezione 2, di rivisitare la 1 e la 2 prima di passare alla 3, oppure di rivisitare la 2 o la 1 e la 2 dopo aver visitato la 3.

Il diagramma degli stati e la relativa tabella di flusso sono: