最適性理論
制約は忠実性制約(faithfulness constraints)と有標性制約(markedness constraints)の二つに分けられる。忠実性制約は、例えば「削除をしてはならない」や「挿入をしてはならない」のように、出力が入力と一致すること(=出力が入力に忠実であること)を求める制約である。他方、有標性制約は、例えば「音節は母音で終わらなければならない」のように、より自然な(無標な)形式が出力となることを要求する制約である。制約は絶対に違反してはならないものではなく、制約間に優先順位が設けられ、優先順位の高い制約に違反していないものが表層の形式として勝ち残ると考える。制約は言語を問わず普遍的であり、その優先順位のみが言語によって異なるとされることが多い。