Introduction To The Theory Of Computation - SIPSER, Michael (PWS Publishing Company, 1996)