This course studies methods of language specification that allow the automated generation of language translators. It provides an introduction to the core area of compiler theory.