SMS versenden: Descriptional complexity of formal systems