An approach to phonology that uses a set of formal rules to generate the phonetic output of a language.