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