Dubbio sulla rappresentazione grafica di una FSM