Αποστολή με SMS: Παράλληλες μέθοδοι ελέγχου δηλωτικών γλωσσών προγραμματισμού με γραμματική προσέγγιση /