semantika käsitlemisel. Morfoloogiateooriad Optimaalsusteoorial on kolm komponenti: Leksikon sisaldab sõnu. Generaator genereerib leksikoni üksusest (süvavormist) kõik potentsiaalsed väljundvormid. Hindaja valib potentsiaalsete väljundite hulgast optimaalse, kasutades selleks universaalsete kitsenduste hierarhiat. Morfoloogiateooriad Optimaalsusteoorias on kaht liiki kitsendusi: Markeerimiskitsendused nõuavad, et vormoleks võimalikult kergesti hääldatav, nt ,,Ükski silp ei tohi olla kinnine" ja ,,Iga silp peab algama konsonandiga". Ustavuskitsendused nõuavad, et pindvormoleks identne süvavormiga, millest ta genereeritakse. Morfoloogiateooriad Optimaalsusteooria kitsendused olemas kõigis maailma keeltes erinevalt järjestatud, seepärast ongi keelte grammatikad erinevad