ELEMENTS OF THE THEORY OF COMPUTATION - LEWIS H R (PRENTICE HALL, 2001)