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