CSCI 341 Theory of Computation

Fall 2025, with Schmid

Assignments

Here you can find the PDFs and other materials for various assignments. Remember that everything gets submitted to Gradescope.

Gradescope

Problem Sets

1. Problem Set 1: Games, Automata, and Reading Words (LaTeX Source)
2. Problem Set 2: Language Acceptance, Finite and Infinite Automata, and Finitely Recognizable Languages (LaTeX Source)
3. Problem Set 3: Determinization, the Structure of \(\mathsf{Fin}\), Regular Expressions, and Antimirov Derivatives (LaTeX Source)

Workshops

1. Workshop 1: Induction (LaTeX Source)