Αποστολή με SMS: Τυπικός προσδιορισμός τών αλληλοεπιδρόμενων γραφικών γλωσσών προγραμματισμού