Αποστολή με SMS: Synthesis of finite state machines :