Αποστολή με SMS: Formal Languages and Applications