Much of the work in modern formal linguistics is concerned with creating mathematically precise accounts of human languages--accounts that are particularly useful in research involving language processing with computers. Implementing Typed Feature Structure Grammars provides a student-level introduction to the most popular approach to this issue, and includes software that allows users to experiment with modeling different aspects of language.