The course will introduce basic principles of computational grammar models in the tradition of enriched rewriting systems.
Lectures about the theoretical background of grammar formalisms will be combined with practical exercises on how to formalize linguistic knowledge.
Three major topics will be covered in the course:

1. Basics of formal language processing - parsing of formal languages, in deterministic and probabilistic approaches.
2. General formal methods in grammatical formalisms for natural language:
lexicalized formalisms, unification-based formalisms, and the treatment of extraction phenomena using such frameworks.
3. Specific examples from a number of leading grammar formalisms such as Minimalist Grammars (MG),
Tree-Adjoining Grammar (TAG), Head-driven phrase structure grammar (HPSG).