Theory Of Computation Midsem1 2023 24