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.