Zaslat SMS: Formalizing natural languages :