Theory of Computation Test 1