Theory of Computation Test 4