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

Assignment Resources

  1. Salomaa's Axioms, the sheet of rules for doing algebra with regular expressions.

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)
  4. Problem Set 4: Kleene's Theorem and Silent Transitions (LaTeX Source)
  5. Problem Set 5: From Nonregular Languages to Counter Automata (LaTeX Source)

Workshops

  1. Workshop 1: Induction (LaTeX Source)
  2. Workshop 2: Automata and Regular Expressions (LaTeX Source)
  3. Workshop 3: Nonregular Languages (LaTeX Source)
  4. Workshop 4: Grammars (LaTeX Source)
Top