Su26-CS-0170-C1-Computation Theory