Pošalji SMS: Formal grammar