Assignments
Here you can find the PDFs and other materials for various assignments. Remember that everything gets submitted to Gradescope.
GradescopeProject Specifications
Details about the final project and what it entails can be found below.
Project Specifications- Project Topic Survey (due October 21)
- Project Proposal (LaTeX Template), due Nov 3rd
- Complete Bibliography (due November 7th)
- Draft (due November 21th)
- Poster PDF (due December 9th)
- Writeup (due December 16th before Final Exam)
Assignment Resources
- Salomaa's Axioms, the sheet of rules for doing algebra with regular expressions.
Problem Sets
- Problem Set 1: Games, Automata, and Reading Words (LaTeX Source)
- Problem Set 2: Language Acceptance, Finite and Infinite Automata, and Finitely Recognizable Languages (LaTeX Source)
- Problem Set 3: Determinization, the Structure of \(\mathsf{Fin}\), Regular Expressions, and Antimirov Derivatives (LaTeX Source)
- Problem Set 4: Kleene's Theorem and Silent Transitions (LaTeX Source)
- Problem Set 5: From Nonregular Languages to Counter Automata (LaTeX Source)
- Problem Set 6: Stack Automata (LaTeX Source)
- Problem Set 7: Beyond \(\mathsf{CFL}\) and the Nature of Computation (LaTeX Source)
- Problem Set 8: Introducing Turing Machines (LaTeX Source)