We analyse the computational complexity of phonological models as they have developed over the past twenty years. The major results ate that generation and recognition are undecidable for segmental models, and that recognition is NPhard for that portion of segmental phonology subsumed by modern autosegmental models. Formal restrictions are evaluated.