Introduction to the theory and history of computer linguistics, including formal grammars, machine translation, and statistical methods. Covers syntax, semantics, pragmatics, and morphology models in mathematical and algorithmic frameworks