Discrete Mathematics

Crib.

Context-free grammar and push-down Turing machine

Regex, pumping lemma

Automata

DFAs, NFAs, and regular languages

NFA

Deterministic Finite Automata