Topics: Combinatorics Automata Context-free grammars Hamiltonian cycles Matroids Generic functions Turing machine Quine homework