4.4 Theory of computation Y12 home page.