SMS versenden: Formal language description languages