Αποστολή με SMS: Syntax-directed semantics