This is a great book. I recommend learning this book with professor Porter's course on theory of computation. https://www.youtube.com/watch?v=TOsMcgIK95k&list=PLbtzT1TYeo...