Theory of Computation Test 5