Intro to theory of computation by Sipser is good.

https://www.amazon.com/Introduction-Theory-Computation-Micha...