Отправить по sms: Descriptional complexity of formal systems