CSCI 415 - 01 Theory of Computation Spring 2026