Mathematical Theory of Computation (Mcgraw-Hill Computer Science Series)