January 2023 CSE211: Theory of Computation