This book describes Optimality Theory from the top down, explaining and exploring the central premises of OT and the results that follow from them. Examples are drawn from phonology, morphology, and syntax, but the emphasis throughout is on the theory rather than the examples, on understanding what is special about OT and on equipping readers to apply it, extend it, and critique it in their own areas of interest. The book's coverage extends to work on first- and second-language acquisition, phonetics and functional phonology, computational linguistics, historical linguistics, and sociolinguistics. Chapters conclude with extensive suggestions for further reading, classified by topic, and are supplemented by a massive bibliography (over 800 items).