Theory of Computation Test 3