この資料をSMS送信: Descriptional complexity of formal systems