finite strutture per trattare i messaggi di stato della linea ricevuto di ATC