CSCI 415 - 01 Theory of Computation Fall 2025