Introduction to the theory of computation - Sipser M. (NULL, 2005)
Keywords: COMPUTER