### Basic Information

Basic Definitions, Relations, Functions, Equivalence Relations And Order Relations, Countable Sets and Cantor's Diagonal Argument, Finite State Automata (deterministic and Non-deterministic), And Non-deterministic), Regular Expressions, Pumping Lemma, Formal Grammars.