cs1502 notes

here are my notes for the cs1502 formal methods in comp sci course.

note that some figures in the pdf versions might be in the wrong position, it’s a pandoc issue that i haven’t figured out how to fix yet; sorry!

  1. deterministic finite automaton, pdf version
  2. combining dfas and operators, pdf version
  3. non-deterministic finite automaton, pdf version
  4. closures, pdf version
  5. regular expressions, pdf version
  6. generalized nondeterministic finite automaton, pdf version
  7. pumping lemma, pdf version