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