FORMAL LANGUAGE THEORY: Classification and properties of formal grammars. Decidable problems in each grammar type and the respective language. Languages accepted by linear-bounded automata and Turing Machines. Notions of language parsing. Deterministic parsing. LL(k) and LR(k) grammars.

GRAPH THEORY: Concept of graphs and applications. Problems in graphs: paths, planarity, coloring, partitioning, matching, flow. Algorithms

MODEL CHECKING: Automatic model checking.