أرسل هذا في رسالة قصيرة: Descriptional complexity of formal systems