إنَّ نظریة الأمثلیة قائمة على الزعم بأن قواعد اللغة مبنیة على عناصر ثلاثة هی: (1) المولد: الذی یتکون من قائمة المخرجات أو المرشحات المحتملة، (2) المقیدات: والتی تقدم المنهاج لتحدید المرشح الأمثل فضلاً عن المقیدات القابلة للخرق فی عملیة التحدید، (3) المقییم: وهو العنصر الذی ینتهی إلى المرشح الأمثل بعد إسقاط المقیدات علیها. والتعمیمات القواعدیة فی نظریة الأمثلیة هی تنافس بین مجموعة من المقیدات على مستوى البنى السطحیة لا العمیقة، إذ لایوجد أی قید على البنیة العمیقة ، وفیه نوعان من المقیدات: (1) المقیدات الواسمة التی تبین المتطلبات الشکلیة للمخرجات، (2) مقیدات التماثل التی تقیّم شکل المخرجات رغم أنها تشیر إلى المدخلات فی بیان متطلباتها. فهذه النظریة تفترض عدم وجود مقیدات خاصة بکل لغة فیما یتعلق بالمدخل، وتسمى هذه الظاهرة بـ"غنى الأساس"، فلکل قاعدة أن تتصدى لأی مدخل مقبول، وحال تواجد المدخل، یستطیع عنصر المولد أن یقدم مجموعة غیر متناهیة من المخرجات أو التمثیلات الشکلیة لذلک المدخل؛ وبهذا تکون أیة قاعدة فی أیة لغة مجرد تسمیة المرشح (المخرج) الأمثل من بین باقی المرشحین لیکون ممثلاً عن مدخل ما، وعملیة التسمیة هذه هی فی صلب عمل مکون المقییم.