Comment by wallscratch

Sipser’s theory of computation book is one of the best examples of technical exposition I’ve ever seen.