Introduction to the theory of computation. - Sipser, Michael (PWS, 1997)