Theory of computation - Sipser, M (Australia Cengage learning, 2009)
Keywords: COMPUTATION