An Introduction to Formal Languages and Automata

In general, the book is clearly written and, while there are a number of errors dotted throughout the text, Peter Linz happily accepts corrections to be integrated into later versions of the book. In the course of reading the book, I found about a dozen errors, with a large concentration of them in Chapter 9.1's introduction to Turing Machines.

This text was the required book for an introductory computer science course at Rensselaer Polytechnic in Fall 2002. I used it in conjunction with Michael Sipser's "Introduction to the Theory of Computation", reading the relevant sections of Sipser's book after reading the introductions provided by Linz. I found Linz to be useful for introducing ideas, but generally lacking in the rigor to drive the point home with mathematical precision. Many times I found Sipser could say more precisely in two pages what Linz did in ten. However, the copious examples and explanation provided by Linz are useful for providing a context for the material being introduced. I think it would be difficult to try to learn directly from Sipser as the presentation there is pretty dense. The combination of the two books served me well in the course.

I was disappointed in the last two chapters of the book, however, which lacked much explanation and spent a lot of time hand-waving. The message of the last two chapters seemed to be "anything that interests you here is beyond the scope of this book." As a result, the chapters probably could have been omitted or replaced with a paragraph that says, "if you want to learn more, read the books listed on page 405."

Bearing in mind that Linz's book is, after all, an introductory text, the lack of rigor can be excused. I found the book thoroughly readable and learned quite a bit of introductory computer science by reading it. I would recommend it to anyone else who is interested in learning a little bit about basic theoretical computer science.