發送短信 : Descriptional complexity of formal systems