Date le regole di transizione dello stato, non puoi risolvere un caso nello stato corrente. Modifica lo stato del caso, quindi ...