Introduction to the theory of computation - Sipser, Michael (Boston : Brooks/Cole, 2001)
Keywords: Computer Science; Mathematics