Theory of Computation 2024-25 (CSC 402)