Introduce the main concepts of formal language theory and their application to the classification of programming languages. Introduce the main techniques for the syntactic analysis of programming languages. Learn to recognize the structure of a programming language and the techniques to implement its abstract machine. Study the object-oriented paradigm and another non-imperative paradigm.