Theory of Computation Test 2