Linguistic model proposing that the observed forms of language arise from the optimal satisfaction of conflicting constraints.