Realizzare programma a macchina a stati