Pošljite SMS: Formal language description languages