Loading…
Loading chapters…
DFA, NFA, equivalence, minimization.
Regex, pumping lemma, closure properties.
CFG, PDA, Chomsky normal form.
Computability, decidability, halting problem.