Problem Sets for Foundations of Computer Science, Fall '13. Implementations of Computational Models, including DFAs, PDAs, Turing Machines, Lambda Calculus, and more.