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