4.3 Problem solving and the theory of computation Y12 home page.