ELEMENTS OF THE THEORY OF COMPUTATION, 2ND EDN