Αποστολή με SMS: Formalizing Natural Languages with NooJ 2018 and Its Natural Language Processing Applications