القواعد النظرية للنموذج، تعرف أيضًا باسم القواعد النحوية القائمة على القيد، تختلف مع القواعد النحوية التوليدية في الطريقة التي تحدد بها مجموعات الجمل: هي تحدد القيود على البنية النحوية بدلاً من توفير عمليات لتوليد الكائنات النحوية.[1] توفر القواعد التوليدية مجموعة من العمليات مثل إعادة الكتابة، أو الإدراج، أو الحذف، أو الحركة، أو التوليفه ويتم تعريفها لمجموعة الكل والأشياء فقط التي يمكن لهذه العمليات إنتاجها من خلال التطبيق التكراري. ببساطة تنص القواعد النحوية للنموذج على مجموعة من الشروط التي يجب أن يستوفيها الكائن، تعتبر بمثابة تحديد لمجموعة الكل وفقط من نوع معين يفي بجميع القيود[2] يطبق النهج الأساليب الرياضية لنظرية النماذج على مهمة الوصف النحوي: القواعد هي نظرية بمعنى المنطق (مجموعة متناسقة من العبارات) تتميز النماذج التي ترضي النظرية ببنية جيدة التشكيل.
هناك عينة من القواعد النحوية التي تقع تحت مظلة نظرية النموذج:
من مزايا القواعد النحوية للنموذج تسمح بالتدرج في النحوية على القواعد التوليدية. قد ينحرف الهيكل بنسبة قليلة أو للغاية عن النظرية. وعلى خلاف ذلك، فإن القواعد النحوية التوليدية «تلزم حدًا بين الكمال وغير الموجود، ولا تسمح حتى بتمثيل التدرج في النحوية.»[5]
هذه بذرة مقالة بحاجة للتوسيع. فضلًا شارك في تحريرها.