•Introduction: Mathematical Notions and Terminology
•Automata and Languages
•Context-Free Language
•Compatibility Theory
•Decidability
•Reducibility
•Advanced Topics: some Computability Theory