Optimality Theory argues that inputs (underlying forms) and outputs (phonetic forms) are related through a mechanism that evaluates how well different possible outputs (called candidates) satisfy the constraint hierarchy of a language.
» Glossary: morphology and phonology