Відправити по sms: Descriptional complexity of formal systems