علوم الحاسوب, لغات شكلية, نظرية الحساب, نظرية اللغات

معضلة أوجدين (Ogden’s lemma)