اللغات الرسمية, ضغط البيانات, علوم الحاسوب, نظرية المعلوماتأصغر مشكلة في القواعد (Smallest Grammar Problem)